FOAL: Foundations Of Aspect-Oriented Languages

URL	http://www.cs.iastate.edu/FOAL/
Contact Email	leavens@cs.iastate.edu
Date	Tuesday, March 23, 2004
Organizers	Gary T. Leavens, Iowa State University Curtis Clifton, Iowa State University Ralf Lämmel, CWI and Vrije Universiteit Amsterdam

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, and 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, types, and formal methods communities to do research in the area of aspect-oriented programming languages.