FOAL: Foundations of Aspect-Oriented Languages
A one day workshop affiliated with AOSD 2010 in Rennes and Saint Malo, France, on 15 March 2010.
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.
As FOAL is a workshop, publication of extended versions of the papers in other venues will be 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:
- Submissions are due no later than 23:00 GMT, 21 December 2009.
- Long papers must not exceed 10 pages in length, regular papers must not exceed 5 pages in length, and short papers must not exceed 4 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 to the following URL: http://continue2.cs.brown.edu/foal2010.
We will notify the corresponding author of papers that are selected for presentation at the workshop by 15 January 2010. Early registration for AOSD (you must register for AOSD to attend the workshop) is 22 February 2010. Final versions of will be due on about 26 January 2010.
For more information, visit the FOAL Workshop home page (at http://www.eecs.ucf.edu/FOAL).
Important Dates
Paper Submission Deadline | 23:00 GMT, 21 December 2009 |
Notification of Acceptance | 15 January 2010 |
Final version due | 26 January 2010 |
Workshop | 15 March 2010 |
Call last modified Saturday, October 31, 2009.
We are pleased to have assembled an exceptional program committee for FOAL this year:
- Klaus Ostermann (Program Committee Chair) — Philipps-Universität Marburg, Germany
- Sven Apel — University of Passau
- Eric Bodden — T.U. Darmstadt
- Erik Ernst — University of Aarhus
- David H. Lorenz — The Open University of Israel
- Hidehiko Masuhara — University of Tokyo
- Hridesh Rajan — Iowa State University
- James Riely — DePaul University
- Eric Tanter — University of Chile
- Elena Zucca — University of Genoa
Page last modified Saturday, October 31, 2009.