Logic List Mailing Archive

Workshop on Proof Theory, Muenster, October 2003

[ There is a PDF copy of this Call at
    http://www.math.uni-muenster.de/logik/wpt03/wpt03.pdf
  for display on notice boards.                                   ]


                         First Announcement

                            Proof Theory:
                Workshop on Logic, Foundational Research, 
                         and Metamathematics

                               WPT'03


       9 October afternoon - 11 October 2003, Muenster, Germany

The Workshop on Logic, Foundational Research, and Metamathematics will
take place in Muenster, Germany, hosted by the Institut fuer Mathematische
Logik und Grundlagenforschung at the University of Muenster.  It is
intended as a forum for the exchange of ideas and interaction between
researchers working in different areas of proof theory.

The workshop will cover both foundational and mathematical aspects of
proof theory.  Invited lectures will be given by:

  T. Arai, Kobe           
  M. Baaz, Wien           
  L. Beklemishev, Utrecht 
  W. Buchholz, Muenchen  
  S. Buss, San Diego      
  A. Cantini, Firenze     
  T. Carlson, Columbus (OH)   
  G. Jaeger, Bern
  M. Rathjen, Columbus (OH)
  G. Mints, Stanford
  A. Troelstra, Amsterdam
  S. Wainer, Leeds
  A. Weiermann, Muenster

For further information please visit the workshop's homepage at 
       http://www.math.uni-muenster.de/logik/wpt03

Organization Committee: 
  A. Beckmann (chair)
  C. Duchhardt
  G. Lee
  I. Lepper
  G. Moser
  M. Moellerfeld
  G. Wilken