[Added a subject. Please accept my apologies! Foundations of AOP and AO
languages have benefitted from the functional programming community for a while
now. Haskellers, please have a look. Thanks! Ralf]
Call For Papers
FOAL: Foundations of Aspect-Oriented Languages 2007
A one day workshop affiliated with AOSD 2007 in Vancouver, British Columbia.
Submission Deadline: 23:00 GMT, 10 January 2007
Notification of Acceptance: 2 February 2007
Final Versions of Papers Due: 1 March 2007
Workshop: 13 March 2007
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.
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.
Authors should note the following details:
* Submissions are due no later than 23:00 GMT, 10 January 2007.
(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.
* Some papers may not be selected for presentation, and some may be
selected for presentation in shorter talks than requested.
* We encourage use of the ACM Conference format
<http://www.acm.org/sigs/pubs/proceed/template.html> 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://continue.cs.brown.edu/servlets/foal07/continue.ss
We will notify the corresponding author of papers that are selected for
presentation at the workshop by 2 February 2006. Early registration for AOSD
(you must register for AOSD to attend the workshop) is 9 February 2006. Final
versions of papers for the proceedings will be due on
1 March 2006.
Important Dates
Submission Deadline: 23:00 GMT, 10 January 2007
Notification of Acceptance: 2 February 2007
Final Versions of Papers Due: 1 March 2007
Workshop: 13 March 2007
For more information, visit the FOAL Workshop home page (at
http://www.cs.iastate.edu/FOAL).
_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
