Workshop on Proof Theory and Algorithms
23 to 29 March 2003, Edinburgh
Home | Scientific Programme & Participants | Timetable | Workshop Arrangements | Registration FormScientific Organising Committee:
Gianluigi Bellin (bellin@dcs.qmul.ac.uk)
Martin Hyland (m.hyland@dpmms.cam.ac.uk)
Ulrich Kohlenbach (kohlenb@brics.dk)
Angus Macintyre (angus@maths.ed.ac.uk)
The aim of the Workshop is to promote interaction between traditional proof-theory and a more structural mathematical proof theory. The Organisers hope to encourage the application-oriented to consider their tools more abstractedly and those with foundational leaning to focus on possible applications.
The meeting is supported by
The Engineering and Physical Sciences Research Council
This meeting's pages created 21 November 2002