About the Conference

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.

Conference Dates