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
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.