Contract for Thematic Network - Applied Semantics II
Contract No: IST-2001-38957.

What is APPSEM?

APPSEM is a thematic network funded by the IST programme of the European Union.
Its objective is to promote research into application-oriented semantics of programming languages.
APPSEM does this by organising and sponsoring workshops, summer schools, and individual visits.
APPSEM does not fund researchers or PhD students.
The APPSEM research programme is structured into nine themes.
More details can be found in the Technical Annex and the Annual Report.

Contact coordinator:


Ludwig-Maximilians-Universität München
Institut für Informatik / TCS
Öttingenstrasse 67

80538 München GERMANY

Phone: +49-89- or
Fax: +49-89-

Martin Hofmann