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

[Gary T. Leavens]

Some papers on type and type checking are starting to appear for
aspect-oriented languages, and FOAL highly encourages such papers and
semantic or theoretical study of aspect-oriented and related languages.

Call for Papers  FOAL: Foundations of Aspect-Oriented Languages

A one day workshop affiliated with AOSD 2009 in Charlottesville,
Virginia, USA, on 2 March 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.

Abstracts of papers or, at the author's discretion, short versions of
up to five pages will be included in the ACM Digital Library; full
papers will be made available at the FOAL website. (Copyright on
abstracts or short versions published in the ACM DL will be held by
the ACM, while copyright on other material will be retained by
authors.) 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:

      * Submission of a full paper is due no later than 23:00 GMT, 23
        December 2008. (These are firm deadlines.)
      * Authors must indicate whether they wish to be considered for a
        long, regular, or short presentation.
      * Papers for long presentations must not exceed 10 pages in
        length; those for regular presentations must not exceed 7 pages
        in length, and those for short presentations must not exceed 3
        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 via the following URL:
        http://continue2.cs.brown.edu/foal09/

We will notify the corresponding author of papers that are selected
for presentation at the workshop by 15 January 2009. Early
registration for AOSD (you must register for AOSD to attend the
workshop) will end on 15 February 2009 (tentative). Final versions of
papers will be due on 15 February 2009 (tentative).

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

Important Dates

Paper Submission Deadline	23:00 GMT, 23 December 2008
Notification of Acceptance 	15 January 2009
Abstract or 5 page version due 	24 January 2009
Final Versions of Papers Due 	15 February 2009 (tentative)
Workshop                        2 March 2009

   Program Committee

      * Mario Sdholt (Program Committee Chair) - cole des Mines de Nantes
      * Curtis Clifton - Rose-Hulman Institute of Technology
      * Erik Ernst - University of Aarhus
      * Pascal Fradet - INRIA
      * Shmuel Katz - Technion-Israel Institute of Technology
      * Karl Lieberherr - Northeastern University
      * David Lorenz - The Open University of Israel
      * Hidehiko Masuhara - University of Tokyo
      * Mira Mezini - Darmstadt University of Technology
      * Klaus Ostermann - Darmstadt University of Technology
      * James Riely - DePaul University
      * Damien Sereni - Oxford


          Gary T. Leavens
          439C Harris Center (Bldg. 116)
          School of EECS, University of Central Florida
          4000 Central Florida Blvd., Orlando, FL 32816-2362 USA
          http://www.eecs.ucf.edu/~leavens  phone: +1-407-823-4758
          leavens at eecs.ucf.edu