The alphabetical list of participants at this workshop is provided below:

Arnold Beckmann
Department of Computer Science, Faraday Tower, Room 511
University of Wales Swansea
Singleton Park, Swansea SA2 8PP, UK
phone: ++44 1792 602370
e-mail: a.beckmann@swansea.ac.uk

Lev Beklemishev
Department of Philosophy, Room 164, Bestuursgebouw
Utrecht University
Heidelberglaan 8, 3584 CS, Utrecht, The Netherlands
phone: +31 30 2535575 e-mail: lev@phil.uu.nl

Doctor of Physical and Mathematical Sciences
Department of Mathematical Logic
Steklov Mathematical Institute
8, Gubkina str., 119991, Moscow, Russia
phone: +7 (095) 938-37-44 e-mail: bekl@mi.ras.ru

Agata Ciabattoni
Institut für Computersprachen
AG Theoretische Informatik und Logik (Theory and Logic Group)
Vienna University of Technology
Favoritenstrasse 9-11, A-1040 Wien, Austria
phone: +43 1 58801-18428
e-mail: agata@logic.at

Rosalie Iemhoff
Institute of Discrete Mathematics and Geometry
Vienna University of Technology
Wiedner Hauptstrasse 8-10, A-1040 Wien, Austria
phone: + 43 1 58801 11826
e-mail: iemhoff@logic.at

George Metcalfe
Institute of Discrete Mathematics and Geometry
Vienna University of Technology
Wiedner Hauptstrasse 8-10, A-1040 Wien, Austria
phone: +43-1-58801/11383
e-mail: metcalfe@logic.at

Grigori Mints
Professor of Philosophy
Department of Philosophy, Building 100, rm. 101A
Stanford University
Stanford, CA 94305-2155, USA
phone: (650) 723-2964
e-mail: mints@csli.stanford.edu

Georg Moser
Computational Logic Group, Institute of Computer Science
University of Innsbruck
Technikerstrasse 21a, 2. OG (3M09), A-6020 Innsbruck, Austria
phone: ++43 (0) 512 5076435
e-mail: georg.moser@uibk.ac.at

Pavel Pudlák
Mathematical Institute of the Academyof Sciences of the Czech Republic
Zitná 25, 115 67 Praha 1, Czech Republic
phone: +420-222 090 721
e-mail: pudlak@math.cas.cz

Clemens Richter
Institut für Computersprachen
AG Theoretische Informatik und Logik (Theory and Logic Group)
Vienna University of Technology
Favoritenstrasse 9-11, A-1040 Wien, Austria
e-mail: richter@logic.at

Helmut Schwichtenberg
Mathematisches Institut der Universität München
Arbeitsgruppe Mathematische Logik
Theresienstr. 39, D-80333 München, Germany
phone: +49 (0)89 2180 4413
e-mail: Helmut.Schwichtenberg@mathematik.uni-muenchen.de

Christian Urban
Mathematisches Institut der LMU
Theresienstr. 39, D-80333 München, Germany
e-mail: urban@mathematik.uni-muenchen.de