Next: Novi Sad - Belgrade
Up: Cooperating sites
Previous: Nijmegen


The Foundations of Programming group is at the Department of Computer Science of the University of Nottingham. The aim of the group is to make substantial gains in the effectiveness of mathematical reasoning and apply such gains to the construction of computer programs. The research of the group is currently structured around the following main themes: Algebra of Programming, Functional Programming, and Logic in Computer Science. The group has its own series of research meetings, and is a founder member of the Midlands Graduate School in the Foundations of Computer Science, which provides postgraduate courses for PhD students in theoretical computer science. Research in the group has been supported by grants from EPSRC, ESPRIT, Microsoft Research, the British Council, and the (Dutch) Nederlandse Wetenschappelijke Organisatie.

The group will mainly contribute to the following objective:

The senior members of the Foundations of Programming Group are

Altenkirch has actively participated in the previous Types Working Group as a member of the Munich site and has regularly contributed to the annual Types workshops. Dennis is investigating proof planning using technologies developed in the Types community with potential applications to the design of new proof editors.

Nottingham homepage

Bengt Nordström 2005-09-22