[FOM] Workshop on Proof Theory, Muenster, October 2003

[Michael Moellerfeld]

[ There is a PDF copy of this announcement 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