[Prev][Next][Index][Thread]
CFP Foundations of Aspect-Oriented Langauges (March 1)
-
To: Types mailing list <types@cis.upenn.edu>, <seworld@cs.colorado.edu>, <amast@cs.utwente.nl>, <lics@research.bell-labs.com>, <prog-lang@diku.dk>, <acl2@cs.utexas.edu>, <behavior@cs.ucsd.edu>, <formal-methods@cs.uidaho.edu>, <fsdm@it.uq.edu.au>, <isabelle-users@cl.cam.ac.uk>, <lfcs-interest@dcs.ed.ac.uk>, <softverf@nist.gov>, <members@fmeurope.org>, <pvs@csl.sri.com>, <stochver@cs.bham.ac.uk>, <theorem-provers@ai.mit.edu>, <vdm-forum@mailbase.ac.uk>, <zeves@ora.on.ca>, <zforum@prg.ox.ac.uk>, <mfps_mail@linus.math.tulane.edu>, <ecoop-info@ecoop.org>
-
Subject: CFP Foundations of Aspect-Oriented Langauges (March 1)
-
From: "Gary T. Leavens" <leavens@cs.iastate.edu>
-
Date: Tue, 22 Jan 2002 20:14:33 -0600 (CST)
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
welcome.
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.
Submissions
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
eligible.
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:
http://www.cs.wustl.edu/~cytron/FOAL/
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