Proof and Computation    


November 5-6 1999

LMU Logo (1563 Byte) 

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.


Friday, November 5

  9.15 -   9.55     G. Jäger Metapredicativity
10.05 - 10.45 A. Cantini Untyped operations, reflection and weak induction
11.15 - 11.55 S. Wainer Proof Theory and Complexity
12.05 - 12.45 A. Weiermann Variations on the slow growing hierarchy

Friday, 15.15, Schütte-Colloquium

S. Feferman Kurt Schütte's way
W. Pohlers Search Trees, a Byproduct of Schütte's Positive and Negative Parts
M. Rathjen Schütte's work on ordinal analysis in the '80s and '90s

Saturday, November 6

  9.15 -   9.55     D. Normann Is it fair to call any total object total?
10.05 - 10.45 U. Kohlenbach Reverse mathematics and higher types
11.15 - 11.55 T. Strahm Theories with self-application and computational complexity
12.05 - 12.45 R. Stärk Java bytecode verification without subroutine call stacks
15.15 - 15.55 P. Aczel Forms of Full Impredicativity
16.05 - 16.45 A. Setzer Towards a type theory for stability
17.05 - 17.45 P. Martin-Löf Nonstandard Type Theory


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.


Travel and Local Information

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

GKLI Logo (1563 Byte)      This conference is organised by the PhD Programme "Logic in Computer Science".

Monika Seisenberger,   Felix Joachimski
Last modified: 2.11.1999