Proof and Computation    

Workshop 

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.


Schedule

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

Abstracts (dvi-format)

Registration

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.

Participants

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.).

Booklet

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


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