[TYPES/announce] CFP: FOAL 2008, reminder and revised due dates

[Gary T. Leavens]

Note: abstracts only are now due on 11 January, full papers now due 18 January.

 		      Call For Papers, FOAL 2008

A workshop affiliated with AOSD 2008 in Brussels, Belgium, on 1 April 2008.

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.

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:

  * Submission of an abstract is due no later than 23:00 GMT, 11 January 2008.
  * Submission of a full paper is due no later than 23:00 GMT, 18 January 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/foal08/

We will notify the corresponding author of papers that are selected
for presentation at the workshop by 8 February 2008. Early
registration for AOSD (you must register for AOSD to attend the
workshop) will end on 25 February 2008. Final versions of papers for
the proceedings will be due on 1 March 2008.

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

       Important Dates

Abstract Submission Deadline 	23:00 GMT, 11 January 2008
Paper Submission Deadline 	23:00 GMT, 18 January 2008
Notification of Acceptance 	8 February 2008
Final Versions of Papers Due 	1 March 2008
Workshop 	                1 April 2008