logo

Workshop on Proof Theory and Algorithms

23 to 29 March 2003, Edinburgh

Home | Scientific Programme & Participants | Timetable | Workshop Arrangements | Registration Form

Scientific Programme

The meeting will run for five full days, starting first thing on Monday 24 March and finishing at the end of Friday 28 March.

The meeting is by invitation only (numbers are strictly limited).


The timetable is now available. Please follow this link.
(updated 21 March 2003)

Particiants List
21 March 2003

Name Institution Dates
Aczel, Peter Manchester University 23 Mar - 27 Mar
Avigad, Jeremy Carnegie Mellon University 23 Mar - 28 Mar
Baaz, Matthias TU Wien 24 Mar - 30 Mar
Berardi, Stefano University of Turin 23 Mar - 26 Mar
Berger, Ulrich University of Wales 23 Mar - 29 Mar
Carbone, Alessandra Institut des Hautes Etudes Scientifiques 23 Mar - 28 Mar
Coquand, Thierry Chalmers University 23 Mar - 30 Mar
Curien, Pierre-Louis PPS, CNRS & Paris 7 22 Mar - 29 Mar
Danos, Vincent CNRS & Université Paris 7 23 Mar - 27 Mar
Dyckhoff, Roy University of St Andrews 23 Mar - 29 Mar
Ehrhard, Thomas Insititut de Mathematiques de Luminy 23 Mar - 29 Mar
Faggian, Claudia Università di Padova 23 Mar - 29 Mar
Ferreira, Fernando Universidade de Lisboa 23 Mar - 29 Mar
Fuhrmann, Carsten University of Bath 23 Mar - 29 Mar
Grisi de Oliveira, Anjolina Universidade Federale de Pernambuco 23 Mar - 28 Mar
Hernest, Dan University of Munich 22 Mar - 30 Mar
Hirschowitz, Michel Université Paris 7 23 Mar - 27 Mar
Hofmann, Martin LMU München 22 Mar - 25 Mar
Hyland, Martin University of Cambridge 23 Mar - 29 Mar
Kamarreddine, Fairouz Heriot-Watt University 24 Mar - 28 Mar
Kohlenbach, Ulrich University of Aarhus 22 Mar - 29 Mar
Krivine, Jean-Louis Université Paris 7 25 Mar - 30 Mar
Laurent, Olivier Université Denis Diderot 23 Mar - 29 Mar
Leustean, Laurentiu National Institute for Research & Development 22 Mar - 29 Mar
Lombardi, Henri Université de Franche-Comté 24 Mar - 29 Mar
Matthes, Ralph University of Munich 23 Mar - 29 Mar
Mints, Grigori Stanford University 23 Mar - 28 Mar
Oliva, Paulo BRICS (Basic Research in CS) 23 Mar - 30 Mar
Power, John University of Edinburgh 26 Mar - 29 Mar
Pym, David University of Bath 24 Mar - 28 Mar
Robinson, Edmund Queen Mary, University of London 23 Mar - 29 Mar
Schalk, Andrea University of Manchester 23 Mar - 29 Mar
Schwichtenberg, Helmut Mathematisches Institut der Universität München 23 Mar - 29 Mar
Setzer, Anton University of Wales 23 Mar - 29 Mar
Simmons, Harold University of Manchester 23 Mar - 29 Mar
Streicher, Thomas Technical University Darmstadt 23 Mar - 29 Mar
Tupailo, Sergei University of Leeds 23 Mar - 29 Mar
Urban, Christian University of Cambridge 23 Mar - 29 Mar
Back to ICMS Website