Colloquium on Mathematical Logic

Overview of Talks given in 2000-2001

• February 16: Quintijn Puite:Cut elimination for cyclic linear logic by means of two-sided proof nets.
  14.00--15.30
  Abstract
• March 2: Vincent van Oostrom: Residual Systems.
  14.00--16.00
  Abstract
• March 16: Henk Barendregt (University of Nijmegen): Informal and Formal Mathematics.
  14.00--15.00
  Abstract
• March 30: Arnold Beckmann (Universität Münster): The use of well-foundedness principles in weak arithmetics.
  14.00--16.00
  Abstract
• April 12: Volodya Shavrukov: Branches of the $E$-tree and jump pseudo-hierarchies.
  Note: this talk will take place in Room 467 (instead of the usual 465).
  13.00--15.00
  Abstract
• April 27: Rosalie Iemhoff (University of Amsterdam): Provability logic for constructive theories.
  14.00--15.00
  Abstract
• May 4: No Meeting.
• May 18/19: Utrecht-Münster Contact. Joint meeting with guests from the Institut für Mathematische Logik und Grundlagenforschung.
  Note this meeting takes place in different lecture rooms than usual!
  Two-day program: Friday afternoon and Saturday morning.
  Friday May 18 (lecture room 043):
  13.00 Gerard Renardel de Lavalette (Universiteit Groningen): Changing Modalities.Abstract
  14.00 Coffee or Tea
  14.30 Andreas Weiermann (Universität Münster):Analytic Combinatorics and Proof Theory.Abstract
  16.00 Coffee or Tea
  16.30 Michael Möllerfeld (Universität Münster): Proof and Recursion Theory of the mu-calculus. Abstract
  Saturday May 19 (lecture room 036):
  10.00 Pieter Hofstra: Realizability and Ordered Partial Combinatory Algebras.Abstract
  10.30 Coffee
  11.00 Christoph Duchhardt(Universität Münster): Quickly Analyzing Kripke Platek Set Theory.Abstract
  11.45 Jaap van Oosten: Analyzing Modified Realizability.Abstract
• June 1:
  14.00 Jan-Willem Klop(Vrije Universiteit):Sequentiality in the Lambda Calculus. Abstract
  15.30 Ronald de Wolf(CWI and Universiteit van Amsterdam): Quantum Computing. Abstract