• 0512 - Mathematical Logic: Proof Theory, Type Theory and Constructive Mathematics 

      [OWR-2005-14] Workshop Report 2005,14 (2005) - (20 Mar - 26 Mar 2005)
      The workshop “Mathematical Logic: Proof Theory, Type Theory
    • 0549 - Set Theory 

      [OWR-2005-55] Workshop Report 2005,55 (2005) - (04 Dec - 10 Dec 2005)
      This meeting covered all important aspects of modern Set Theory, including large cardinal theory, combinatorial set theory, descriptive set theory, connections with algebra and analysis, forcing axioms and inner model ...