[TYPES/announce] CFP: Foundations of Aspect-Oriented Languages (FOAL) 2013

[Erik Ernst]

[Apologies if you receive multiple copies of this CFP]

     *** CALL FOR PAPERS: Foundations of Aspect-Oriented Languages ***

FOAL is a one day workshop affiliated with MODULARITY: aosd 2013 conference in
the Fukuoka International Congress Center, Japan, on March 26, 2013.  Papers
are due January 7, 2013, at 23:00 GMT.

Themes and Goals

FOAL is a forum for research in foundations of aspect-oriented and other
advanced separation of concern mechanisms. Areas of interest include but are
not limited to:

 * Semantics of advanced separation of concern mechanisms
 * Specification and verification for languages with such mechanisms
 * Type systems
 * Static analysis
 * Theory of testing
 * Theory of composition
 * Theory of translation (compilation) and rewriting
 * Comparison of different advanced modularization and separation of concern
   mechanisms

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 consider advanced separation of concern
mechanisms. All theoretical and foundational studies of this topic are
welcome. Even though the workshop title contains the term "aspect-oriented",
the workshop is not limited to aspect-oriented programming languages, but
welcomes topics on other advanced separation of concern mechanisms such as
feature-oriented or context-oriented programming.

The goals of FOAL are to:

 * Make progress on the foundations of aspect-oriented and other 
   advanced separation of concern mechanisms.
 * Exchange ideas about semantics and formal methods for aspect-oriented
   and other languages with advanced separation of concerns.
 * Foster interest within the programming language theory and types
   communities in languages with advanced separation of concerns.
 * Foster interest within the formal methods community in aspect-oriented
   programming and other advanced separation of concern mechanisms, and the
   problems of reasoning about them.

Workshop Format

The planned workshop format is primarily presentation of papers and group
discussion. Talks will come in two categories: regular (25 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 regular and short papers on all areas of formal foundations of
advanced separation of concern mechanisms. Submissions will be read by the
program committee and designated reviewers.  Papers will be selected for
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.

Five page papers presented at the workshop can be included in the ACM Digital
Library, at the discretion of the authors. Authors of accepted papers who wish
to have their papers in the ACM Digital Library 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 workshop.

Authors should note the following details:

 * Submissions are due no later than 23:00 GMT, 7 January 2013
 * Regular papers must not exceed 5 pages in length, and short papers 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
 * Submissions are to be made at the following URL: 
   https://www.easychair.org/conferences/?conf=foal2013

We will notify the corresponding author of papers that are selected for
presentation at the workshop by 28 January 2013.

Early registration for MODULARITY: aosd (you must register for the conference
to attend the workshop) shortly follows that date.  Final versions of 5 page
papers for the ACM digital library will be due on 4 February 2013.

For more information, please visit the FOAL Workshop home page (at
http://www.eecs.ucf.edu/FOAL).

Important Dates

  Paper Submission Deadline  -  January 7, 2013, 23:00 GMT
  Notification of Acceptance  -  January 28, 2013
  Final version and 5 page version due  -  February 4, 2013
  Workshop  -  March 26, 2013

Program Committee

 * Erik Ernst (Program Committee Chair) -- University of Aarhus
 * Sven Apel -- University of Passau
 * Don Batory -- University of Texas, Austin
 * Eric Bodden -- European Center for Security and Privacy by Design, 
   Center for Advanced Security Research Darmstadt
 * John Tang Boyland -- University of Wisconsin, Milwaukee
 * Sophia Drossopoulou -- Imperial College
 * Matthew Flatt -- University of Utah
 * Atsushi Igarashi -- Kyoto University
 * Radha Jagadeesan -- DePaul University
 * Todd Millstein -- University of California, Los Angeles
 * Bruno C. d. S. Oliveira -- National University of Singapore
 * Klaus Ostermann -- University of Marburg
 * Nicolas Tabareau -- Ecole des Mines de Nantes / INRIA
 * Elena Zucca -- University of Genoa

Organizers

 * Gary T. Leavens -- University of Central Florida
 * Hidehiko Masuhara -- University of Tokyo
 * Hridesh Rajan -- Iowa State University
 * Mario Sudholt -- Ecole des Mines de Nantes

-- 
Erik Ernst - eernst at cs.au.dk
Department of Computer Science, Aarhus University
IT-parken, Aabogade 34, DK-8200 Aarhus N, Denmark