CFP Foundations of Aspect-Oriented Langauges (March 1)

                              Call for Papers
              Foundations Of Aspect-Oriented Languages (FOAL)

                            Workshop at AOSD 2002

Themes and Goals

FOAL is a forum for research in formal foundations of aspect-oriented
programming (AOP) languages. Areas of interest include but are not limited
to: formal semantics, formal specification, verification, theory of testing,
aspect management, theory of aspect composition, and aspect translation and
rewriting  All theoretical and foundational studies of this topic are

The goals of FOAL are to:

   * Explore the formal foundations of aspect-oriented programming.
   * Exchange ideas about semantics and formal methods for aspect-oriented
     programming languages.
   * Foster interest in the programming language theory communities
     concerning aspects and aspect-oriented programming languages.
   * Foster interest in the formal methods community concerning aspects and
     aspect-oriented programming.


Invitation to the workshop will be based on accepted papers.  FOAL solicits
both short and full-length papers on all areas of formal foundations of AOP
languages. Submissions will be read by the program committee and designated
reviewers. Papers selected for presentation at the workshop will be judged
on scientific merit, innovation, readability and relevance. Papers
previously published or already being reviewed by another conference are not

Submissions are due no later than 1 March 2002; this is a firm deadline.
Short papers must not exceed 5 pages and long papers must not exceed 10
pages in length.  We encourage use of the ACM Conference format for
submissions. We also suggest that you add page numbers (which are not part
of the standard format) to your submissions, to make adding comments
easier.  Submission are to be sent as PDF (or postscript) attachments in an
email to: Ron Cytron <cytron@cs.wustl.edu>.

We will notify the corresponding author of papers that are selected for
presentation at the workshop by 18 March 2002. Some papers that are not
selected for presentation at the workshop will also be included in the
proceedings, at the option of the authors.  Final versions of papers for the
proceedings will be due on 1 April 2002.

Papers presented at the workshop will be published as a technical report and
distributed for workshop attendees. Publication of those papers at other
venues is thus preserved.  Authors will retain their own copyright to the
papers.  We are also investigating having a special issue of a journal for
revisions of selected papers after the workshop.

For more information, visit the workshop's home page:

Workshop Program Committee:

   * James H. Andrews (U. Western Ontario)
   * Ron Cytron (Washington University)
   * William (Bill) Harrison (IBM T. J. Watson Research Center)
   * Gary T. Leavens (Iowa State University)
   * K. Rustan M. Leino (Microsoft Research)
   * Oscar Nierstrasz (U. of Berne)
   * Wolfgang De Meuter (Vrije Universiteit Brussels)
   * Jens Palsberg (Purdue Univ.)
   * Kris De Volder (U. of British Columbia)
   * Mitch Wand (Northeastern University)

   Ron Cytron and Gary T. Leavens