Workshop on Proof Theory and Algorithms
23 to 29 March 2003, Edinburgh
Home | Scientific Programme & Participants | Timetable | Workshop Arrangements | Registration FormScientific 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 |