11. FOAL 2012: Potsdam, Germany
Shmuel Katz, Gary T. Leavens, Hidehiko Masuhara (Eds.): Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages, FOAL 2012, Potsdam, Germany, March 25-30, 2012. ACM 2012 ISBN 978-1-4503-1099-4
Invited keynote talk
Eric Bodden: Towards typesafe weaving for modular reasoning in aspect-oriented programs. 1-2
Scoping and modularity


Thomas Cottenier, Aswin van den Berg, Thomas Weigert: Modular reasoning about region composition. 15-20



