Proof and Computation
Workshop
November 5-6 1999
|
 |
The Mathematical Institute of the
Ludwig-Maximilians-Universität and
the Graduate School
Logic in Computer Science are organizing a
Workshop on Proof Theory entitled ``Proof and Computation'' to take place on
Friday November 5 and Saturday November 6, 1999. Integrated in the meeting
will be a Colloquium in the memory of Kurt Schütte on Friday afternoon.
Schedule
Abstracts (dvi-format)
-
The registration fee will be DM 40, to be paid upon arrival.
Although the registration deadline was October 4th we still accept registrations. Please fill out the registration form.
- The workshop will take place at the
Mathematical Institute, Theresienstaße 39, 80333 München;
room E27.
- On Thursday, November 4, 7.30 p.m. there will be an informal get-together in the Max-Emanuel-Brauerei, Adalbertstr. 33 (near the Mathematical Institute). You can get there by foot (if coming from Hotel Savoy), by subway U3/6 (Universität) or by Trambahn 27 (Nordendstr.).
It includes all abstracts, the schedule, a preliminary list of participants, a cv of Kurt Schütte and a picture of him.
Organisation Committee
Wilfried Buchholz
Helmut Schwichtenberg
Felix Joachimski
Monika Seisenberger
Mathematisches Institut, Theresienstraße 39, 80333 München
Tel.: +49 89 2394 4414 (secretary) or +49 89 2394 4418
Fax.: +49 89 2805248
For further information please email to
gamma0@rz.mathematik.uni-muenchen.de
This conference is organised by the
PhD Programme "Logic in Computer Science".
Monika Seisenberger,
Felix Joachimski
Last modified: 2.11.1999