• 2523 - Computational Group Theory 

      [OWR-2025-27] Workshop Report 2025,27 (2025) - (01 Jun - 06 Jun 2025)
      This was the ninth Oberwolfach Workshop on Computational Group Theory. It demonstrated the deep and interesting interactions between theoretical results and powerful practical algorithms in Computational Group Theory. ...
    • 2551 - Homogeneous Structures: Model Theory meets Universal Algebra 

      [OWR-2025-58] Workshop Report 2025,58 (2025) - (14 Dec - 19 Dec 2025)
      Many fundamental mathematical structures, such as the rationals or the random graph, are homogeneous, meaning that local isomorphisms extend to global automorphisms. Such structures arise as limits of classes of finite ...
    • 2539a - MATRIX-MFO Tandem Workshop: Machine Learning and AI for Mathematics 

      [OWR-2025-43] Workshop Report 2025,43 (2025) - (21 Sep - 26 Sep 2025)
      This workshop explored how modern machine learning can both accelerate mathematical discovery and preserve rigorous standards. It focused on three angles: using AI techniques to help mathematicians make advances on challenging ...
    • 2503 - Set Theory 

      [OWR-2025-2] Workshop Report 2025,2 (2025) - (12 Jan - 17 Jan 2025)
      Set theory has experienced rapid development in the recent years, both in pure set theory and in its applications to other fields of mathematics. We have seen breakthroughs in combinatorial set theory, forcing, inner models, ...