Proof and Computation
November 5-6 1999
The Mathematical Institute of the
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.
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.
It includes all abstracts, the schedule, a preliminary list of participants, a cv of Kurt Schütte and a picture of him.
- The workshop will take place at the
Mathematical Institute, Theresienstaße 39, 80333 München;
- 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.).
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
This conference is organised by the
PhD Programme "Logic in Computer Science".
Last modified: 2.11.1999