• 1447 - Mathematical Logic: Proof theory, Constructive Mathematics 

      [OWR-2014-52] Workshop Report 2014,52 (2014) - (16 Nov - 22 Nov 2014)
      The workshop “Mathematical Logic: Proof Theory, Constructive Mathematics” was centered around proof-theoretic aspects of current mathematics, constructive mathematics and logical aspects of computational complexity
    • 1403 - Set Theory 

      [OWR-2014-2] Workshop Report 2014,2 (2014) - (12 Jan - 18 Jan 2014)
      This stimulating workshop featured a broad selection of some of the most important recent developments in combinatorial set theory, the theory and applications of forcing, large cardinal theory and descriptive set theory.