• 2346 - Mathematical Logic: Proof Theory, Constructive Mathematics 

      [OWR-2023-53] Workshop Report 2023,53 (2023) - (12 Nov - 17 Nov 2023)
      The Workshop "Mathematical Logic: Proof Theory, Constructive Mathematics" focused on proof-theoretic research on the foundations of mathematics, on the extraction of explicit computational content from given proofs in ...
    • 2302 - Model Theory: Combinatorics, Groups, Valued Fields and Neostability 

      [OWR-2023-2] Workshop Report 2023,2 (2023) - (08 Jan - 14 Jan 2023)
      The scope of contemporary model theory has expanded enormously over the last several decades, helped by the development of new tools applicable to an ever wider range of structures. In the spirit of the previous meetings ...