FOAL 2013 - Foundations of Aspect Oriented Languages (FOAL)

FOAL: Foundations of Aspect-Oriented Languages
A one day workshop affiliated with MODULARITY: aosd 2013 at the Fukuoka International Congress Center, Japan, on 26 March 2013.
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.