APPSEM II: Applied Semantics


IST Thematic Network IST-2001-38957, EUR 400,000 (Leicester: not fixed)


January 2003 - December 2005


The objective of this work is to maintain and further develop an existing European network for technology transfer in the field of application-oriented semantics of programming languages. Programming languages are (next to algorithms and software engineering) one of the essential ingredients of software development. They therefore have a huge economic impact: better programming languages and a better understanding of existing ones will lead to higher productivity, reduced maintainence, and increased software reuse. Europe is a hotbed of programming language research with many internationally respected experts, both in semantic theory of programming languages, and in implementation. The theoretical results and expertise that are available in the consortium will be used to solve problems relating to programming languages. At the same time, and enabled by these practical problems, the theoretical toolbox will be further developed.

View the website.


N Ghani (Site Leader), Simon Ambler, R Crole


Listed here.

Share this page:

Contact Us

Admissions Enquiries:
BSc: +44 (0) 116 252 5280
MSc: +44 (0) 116 252 2265
E: BSc
E: MSc

Departmental Enquiries:
T: +44 (0) 116 252 2129/3887
F: +44 (0) 116 252 3604

Dept of Informatics
University of Leicester
Leicester, LE1 7RH
United Kingdom


DisabledGo logo

The University of Leicester is committed to equal access to our facilities. DisabledGo has a detailed accessibility guide for the Informatics Building.