Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

9-11 October 2003, Proof Theory: Workshop on Logic, Foundational Research, and Metamathematics (WPT'03)

Date: 9-11 October 2003
Location: Münster, Germany

The Workshop on Logic, Foundational Research, and Metamathematics will take place in Münster, Germany, hosted by the Institut für Mathematische Logik und Grundlagenforschung at the University of Münster. 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, München
  • 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, Münster

Organization Committee:

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

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

Please note that this newsitem has been archived, and may contain outdated information or links.