CFP: FOAL 2003--Foundations Of Aspect-oriented Languages


	   Foundations of Aspect-Oriented Languages (FOAL)

			    March 17, 2003
			Boston, Massachusetts

	A one-day workshop to be held in conjunction with the
		  Second International Conference on
	  Aspect-Oriented Software Development (AOSD 2003),
	    March 17-21, 2003, Boston, Massachusetts, USA


FOAL is a forum for research in foundations of aspect-oriented
programming languages. Areas of interest include but are not limited

     * 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
     * Applications of such theories in practice (such as language
       design studies)

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
     * Exchange ideas about semantics and formal methods for
       aspect-oriented programming languages.
     * Foster interest in the programming language theory community in
       aspect-oriented programming languages.
     * Foster interest in the formal methods community in
       aspect-oriented programming and the problems of reasoning about
       aspect-oriented programs.


The planned workshop format is primarily presentation of papers and
group discussion. Talks will come in three categories: long (45
minutes and 15 minutes of discussion), short (20 minutes and 10
minutes of discussion) and very short (7 minutes and 3 minutes of
discussion). The very short talks will allow for short presentations
of topics that have no results yet; for example people 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.


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.

Submissions are due no later than 27 January 2003. (This is a firm
deadline). Long papers must not exceed 10 pages in length, short
papers must not exceed 5 pages in length, and very short papers 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 sent as PDF (or postscript) attachments
in an email to: Curtis Clifton cclifton@cs.iastate.edu.

We will notify the corresponding author of papers that are selected
for presentation at the workshop by 10 February 2003. Early
registration for AOSD (you must register for AOSD to attend the
workshop) is likely to be about February 17, 2003. Final versions of
papers for the proceedings will be due on 1 March 2003.

For more information, visit the FOAL Workshop home page
(http://www.cs.iastate.edu/~leavens/FOAL/cfp-2003.html), which has
access to the proceedings of the 2002 workshop proceedings.


   Submission Deadline:		January 27, 2003
   Notification of Acceptance:	February 10, 2003
   Final Versions of Papers Due: March 1, 2003
   Workshop:			March 17, 2003


     * James H. Andrews (U. Western Ontario)
     * William Cook (Allegis)
     * Tzilla Elrad (Illinois Institute of Technology)
     * Gary T. Leavens (Iowa State University)
     * Ralf Laemmel (CWI and Vrije Universiteit, Amsterdam)
     * Oscar Nierstrasz (U. of Berne)
     * Jens Palsberg (Purdue Univ.)
     * Kris De Volder (U. of British Columbia)
     * Mitch Wand (Northeastern University)


     * Curtis Clifton (Iowa State University), cclifton@cs.iastate.edu
     * Gary T. Leavens (Iowa State University)