[TYPES/announce] CFP: Foundations of Aspect-Oriented Languages (FOAL) 2010

[Gary T. Leavens]

       CALL FOR PAPERS: Foundations of Aspect-Oriented Langauges

FOAL is a one day workshop affiliated with AOSD 2010 in Rennes and
Saint Malo, France, on 15 March 2010. Papers are due 21 December 2009.

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), regular (20 minutes plus 5
minutes of discussion) and short (7 minutes plus 3 minutes of
discussion). The short talks will allow for 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 overall number of 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 long, regular, and 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,
regular, and 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.

Five page summaries of papers presented at the workshop will be
included in the ACM Digital Library, hence authors of accepted papers
will be asked to transfer copyright to the ACM. However, as FOAL is a
workshop, publication of extended versions of the papers in other
venues will 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, 21 December 2009. (This
is a tentative deadline, pending confirmation from the conference
organizers. Once confirmed, any deadlines will be firm.)

Long papers must not exceed 10 pages in length, regular papers must
not exceed 5 pages in length, and short papers must not exceed 4 pages
in length.

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 made to http://continue2.cs.brown.edu/foal2010 .

We will notify the corresponding author of papers that are selected
for presentation at the workshop by 15 January 2010. Early
registration for AOSD (you must register for AOSD to attend the
workshop) is 23 January 2010. Final versions of 5 page papers for the
ACM digital library will be due on about 26 January 2010.

For more information, visit the FOAL Workshop home page (at
http://www.eecs.ucf.edu/FOAL).

Important Dates

Paper Submission Deadline                23:00 GMT, 21 December 2009
Notification of Acceptance	         15 January 2010
Final version and 5 page version due	 26 January 2010
Workshop	                         15 March 2010

Program Committee

Klaus Ostermann (Program Committee Chair)
           - Philipps-Universität Marburg, Germany
Sven Apel - University of Passau
Eric Bodden - T.U. Darmstadt
Erik Ernst - University of Aarhus
David Lorenz - The Open University of Israel
Hidehiko Masuhara - University of Tokyo
Hridesh Rajan - Iowa State University
James Riely - DePaul University
Eric Tanter - University of Chile
Elena Zucca - University of Genoa