[Haskell] CFP --- FOAL: Foundations of Aspect-Oriented Languages

Ralf Laemmel rlaemmel at gmail.com
Thu Nov 22 18:32:04 EST 2007

 [You can actually check that indeed Haskell folks have contributed to this
workshop in the past. -- Ralf]

Call for  papers:
 FOAL: *F*oundations *o*f *A*spect-Oriented *L*anguages A one day workshop
affiliated with AOSD 2008 in Brussels, Belgium, on 31 March or 1 April 2008.
Themes and Goals

*FOAL* is a forum for research in foundations of aspect-oriented
programminglanguages. 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

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 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

We also plan to ensure sufficient time for discussion of each presentation
by limiting the overall number of 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

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

Authors should note the following details:

   - Submissions are due no later than 23:00 GMT, 11 January 2008 (This
   is a firm deadline.)
   - 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.

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

For more information, visit the FOAL Workshop home page (at
Important Dates  Submission Deadline 23:00 GMT, 11 January 2008 Notification
of Acceptance 8 February 2008 Final Versions of Papers Due 1 March
2008 Workshop
31 March 2008 or 1 April 2008

Program Committee

We are pleased to have assembled another exceptional program committee for
FOAL this year:

   - Curtis Clifton (Program Committee Chair)— Rose-Hulman Institute of
   - Jonathan Aldrich — Carnegie Mellon University
   - Paulo Borba — Universidade Federal de Pernambuco
   - Lodewijk Bergmans — University of Twente
   - William Griswold — University of California, San Diego
   - Günter Kniesel — University of Bonn
   - Shriram Krishnamurthi — Brown University
   - Ralf Lämmel — Universität Koblenz-Landau
   - Karl Lieberherr — Northeastern University
   - Hidehiko Masuhara — University of Tokyo
   - James Noble — Victoria University of Wellington
   - Klaus Ostermann — Darmstadt University of Technology
   - Hridesh Rajan — Iowa State University
   - Damien Sereni — Oxford


   - Gary T. Leavens — University of Central Florida
   - Curtis Clifton — Rose-Hulman Institute of Technology
   - Mira Mezini — Darmstadt University of Technology
   - Shmuel Katz — Technion–Israel Institute of Technology
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell/attachments/20071123/57a2e165/attachment.htm

More information about the Haskell mailing list