• 0815 - Mathematical Logic: Proof Theory, Constructive Mathematics 

      [OWR-2008-18] Workshop Report 2008,18 (2008) - (06 Apr - 12 Apr 2008)
      The workshop “Mathematical Logic: Proof Theory, Constructive Mathematics” brought together a carefully selected group of mathematicians, computer scientists and logicians in other fields to discus the impact of proof-theoretic ...
    • 0803 - Set Theory 

      [OWR-2008-2] Workshop Report 2008,2 (2008) - (13 Jan - 19 Jan 2008)
      This lively workshop presented some of the most exciting recent developments in set theory, including major new results about ordered sets, Banach spaces, determinacy, Ramsey theory, pcf theory, inner models, forcing, ...