Collegium Logicum 99: Proof Theory


Subject: Collegium Logicum 99: Proof Theory
From: Helmut Veith (veith@ux8.sp.cs.cmu.edu)
Date: Wed Nov 10 1999 - 17:47:16 MET


This message contains non-ASCII text, which can only be displayed
properly if you are running X11. What follows
may be partially unreadable, but the English (ASCII) parts
should still be readable.

                          Kurt Gödel Society

                 Collegium Logicum 1999: Proof Theory

                        November 19--20, 1999

                  University of Technology, Vienna

                         Second Announcement

The international workshop Collegium Logicum 1999: Proof Theory
will take place within the series of lectures Collegium Logicum
of the Kurt Gödel Society from Friday, November 19, to
Saturday, November 20, 1999, in Vienna, Austria at Schloss
Wilhelminenberg and the University of Technology.

The Collegium Logicum 1999: Proof Theory is intended as
a forum for the exchange of ideas and interaction between
researchers working in different areas of proof theory. The
workshop covers both foundational and computational aspects.

The following invited lectures will be delivered:

S. Artemov, Moskov
        Proof realizability of intuitionistic and modal logic

L. Beklemishev, Moskov
        Induction for decidable predicates and bounded query
        
C. Fermüller, Vienna
        Resolution Beyond Testing Unsatisfiability
        
A. Leitsch, Vienna, and G. Moser, Leeds
        Cut-elimination by Resolution
        
V. P. Orevkov, St. Petersburg
        Bounds on Proof Length and Complexity of Terms in Axiomatic
        Theories
        
W. Pohlers, Münster
        Proof theoretical treatment of set theoretical reflection
        
P. Pudlak, Prague
        On the complexity of intuitionistic propositional calculus
        
G. Takeuti, Tsukuba
        A first order Bounded Arithmetic for PSPACE
        
S. S. Wainer, Leeds
        Accessible Recursive Functions
        
A. Weiermann, Münster
        Fundamental sequences and subrecursive hierarchies
        
P. Wojtylak, Kattowice
        Generalization of proofs
        
R. Zach, Berkeley
        The Reach of Finitism
        

For members of the Kurt Gödel Society, attendance at the workshop will
be free; for non-members a fee of ATS 400,-/ EURO 29,06 to cover
organizational expenses will be charged.



This archive was generated by hypermail 2b25 : Thu Apr 06 2000 - 16:19:21 MET DST