11. FOAL 2012: Potsdam, Germany

Invited keynote talk

Scoping and modularity

Flexible implementation and analysis

New semantic applications