[Haskell] CFP: FOAL 2005, Foundations Of Aspect-Oriented Languages

[Ralf Laemmel]

-------------- next part --------------
  FOAL: Foundations of Aspect-Oriented Languages

    A one day workshop affiliated with AOSD 2005 in Chicago, USA, on Monday,
    14 March 2005.

  Themes and Goals

   FOAL is a forum for research in foundations of aspect-oriented
   programming languages. Areas of interest include but are not limited
   to:
     * Semantics of aspect-oriented languages
     * Specification and verification for such languages
     * Type systems
     * Static analysis
     * Theory of testing
     * Theory of aspect composition
     * Theory of aspect translation (compilation) and rewriting

   The workshop aims to foster work in foundations, including formal
   studies, promote the exchange of ideas, and encourage workers in the
   semantics and formal methods communities to do research in the area of
   aspect-oriented programming languages. All theoretical and
   foundational studies of this topic are welcome.

   The goals of FOAL are to:
     * Make progress on the foundations of aspect-oriented programming
       languages.
     * Exchange ideas about semantics and formal methods for
       aspect-oriented programming languages.
     * Foster interest within the programming language theory and types
       communities in aspect-oriented programming languages.
     * Foster interest within the formal methods community in
       aspect-oriented programming and the problems of reasoning about
       aspect-oriented programs.

  Workshop Format

   The planned workshop format is primarily presentation of papers and
   group discussion. Talks will come in three categories: long (30
   minutes plus 15 minutes of discussion), short (20 minutes plus 5
   minutes of discussion) and very short (7 minutes plus 3 minutes of
   discussion). The very short talks will allow for short presentations
   of topics for which results are not yet available, perhaps for
   researchers who are seeking feedback on ideas or seek collaborations.

   We also plan to ensure sufficient time for discussion of each
   presentation by limiting the number of long talks and having only a
   few short talks.

  Submissions

   Invitation to the workshop will be based on papers selected by the
   program committee; those wishing to attend but not having a paper to
   submit should contact the organizers directly to see if there is
   sufficient space in the workshop.

   FOAL solicits full-length, short, and very short papers on all areas
   of formal foundations of AOP languages. Submissions will be read by
   the program committee and designated reviewers. Papers will be
   selected for long, short, and very short presentation at the workshop
   based on their length, scientific merit, innovation, readability, and
   relevance. Papers previously published or already being reviewed by
   another conference are not eligible. Some papers may not be selected
   for presentation, and some may be selected for presentation in shorter
   talks than their paper length would otherwise command. We will limit
   the length of paper presentations and the number of papers presented
   to make sure that there is enough time for discussion.

   Papers presented at the workshop will be included in a technical
   report (from Iowa State University). Authors will retain their own
   copyright to the papers. Publication of papers at other venues will
   thus remain possible. We will also investigate having a special issue
   of a journal for revisions of selected papers after the workshop.

   Authors should note the following details:
     * Submissions are due no later than 23:00 GMT, Sunday, 16 January
       2005. This is a firm deadline.
     * Authors must indicate whether they wish to be considered for a
       long, short, or very short presentation.
     * Papers for long presentations must not exceed 10 pages in length;
       those for short presentations must not exceed 5 pages in length,
       and those for very short presentations must not exceed 3 pages in
       length.
     * Some papers may not be selected for presentation, and some may be
       selected for presentation in shorter talks than requested.
     * We encourage use of the ACM Conference format for submissions,
       as this will be required for accepted papers. You must add page
       numbers (which are not part of the standard format) to your
       submissions, to make adding comments easier.
     * Submissions are to be sent as PDF (preferred) or postscript
       attachments in an email to Curtis Clifton, cclifton -at- cs -dot-
       iastate -dot- edu.

   We will notify the corresponding author of papers that are selected
   for presentation at the workshop by 3 February 2005. The early
   registration deadline for AOSD will be 10 February 2005. FOAL
   attendees must be registered for AOSD. Final versions of papers for
   the proceedings will be due on 1 March 2005.

   For more information, visit the FOAL Workshop home page at
   http://www.cs.iastate.edu/FOAL.

  Important Dates

   Submission Deadline          23:00 GMT, 16 January 2005
   Notification of Acceptance   3 February 2005
   Final Versions of Papers Due 1 March 2005
   Workshop                     14 March 2005