Projects details

APPSEM II - Applied Semantics II

Jan 2003 - Jan 2006

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

Project type: PI

Project reference:

Coordinated by:

Ludwig-Maximilians-Universität München

Funding entities:

European Union

Total Funding Amount: 400000

Local Funding Amount: 20

Start Date: 1 Jan 2003

End Date: 1 Jan 2006

Participations Luis Caires [Coordinator]

Partnerships

UMinho - Universidade do Minho

Url: http://www.tcs.informatik.uni-muenchen.de/~mhofmann/appsem2/