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

Michael Moellerfeld mimoe at math.uni-muenster.de
Wed Aug 6 07:20:28 EDT 2003


[ 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



More information about the FOM mailing list