FOAL 2004 -- deadline 19.01.2004

[Ralf Laemmel]

(*
   This field has meanwhile seen a number of contributions from the 
functional programming community.
   So it is fair to assume that the present announcement is of interest 
for some subscribers of this list.
*)

  FOAL: Foundations of Aspect-Oriented Languages

    A one day workshop affiliated with AOSD 2004 in Lancaster, UK, on March
    23, 2003.

  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 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. 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, Monday, 19 January 
2004.
       (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 9 February 2004. The early registration
   deadline for AOSD is 13 February 2004. FOAL attendees must be registered
   for AOSD. Final versions of papers for the proceedings will be due on 1
   March 2004.

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

  Important Dates

   Submission Deadline          23:00 GMT, 19 January 2004
   Notification of Acceptance   9 February 2004
   Final Versions of Papers Due 1 March 2004
   Workshop                     23 March 2004