Events

The Arbeitsgemeinschaft (study group) is a series of meetings in Oberwolfach. It mainly addresses to non-specialists who want to broaden their outlook on mathematics and to early career mathematicians who wish to enter a field for future research. Experts are also welcome. The idea is “learning by teaching”. Participants have to volunteer for one of the lectures described in the program. After the deadline for application the organizers choose the actual speakers to give them enough time to understand the subject and to prepare for their lectures. An outline of the program can be found on the website of the event. Deadline for applications: 15 June 2025

Aim of the School is to bring together young students and researchers with experts in the research areas of global analysis, spectral theory, mathematical physics and their interplay. The school consists of four mini-courses leading towards a broad understanding of current research topics from different perspectives. The mini-courses will be aimed at a broad audience. Speakers of the mini-courses: * Nelia Charalambous on "The spectrum of geometric operators on noncompact manifolds" * Jeffrez Galkowski on "The high energy behavior of Laplace eigenfunctions: applications of geodesic beams" * Frédéric Rochon on "L2-cohomology of complete hyperKähler metrics" * Alexander Strohmaier on "Spectral Theory on Spacetimes"

The Arbeitsgemeinschaft (study group) is a series of meetings in Oberwolfach. It mainly addresses to non-specialists who want to broaden their outlook on mathematics and to early career mathematicians who wish to enter a field for future research. Experts are also welcome. The idea is “learning by teaching”. Participants have to volunteer for one of the lectures described in the program. After the deadline for application the organizers choose the actual speakers to give them enough time to understand the subject and to prepare for their lectures. An outline of the program can be found on the website of the event. Deadline for applications: 1 June 2025

The 3rd IMA Conference on the Mathematics of Robotics aims to bring together researchers working on all areas of robotics which have a significant mathematical content. The idea is to highlight the mathematical depth and sophistication of techniques applicable to Robotics and to foster cooperation between researchers working in different areas of Robotics. This Conference has been organised in cooperation with the Society for Industrial and Applied Mathematics (SIAM).

The 3rd IMA Conference on the Mathematics of Robotics aims to bring together researchers working on all areas of robotics which have a significant mathematical content. The idea is to highlight the mathematical depth and sophistication of techniques applicable to Robotics and to foster cooperation between researchers working in different areas of Robotics. This Conference has been organised in cooperation with the Society for Industrial and Applied Mathematics (SIAM).

Speakers: Mathilde André (Paris, Vienna) Michael Baake (Bielefeld) Vincent Bansaye (Palaiseau) Matthias Birkner (Mainz) Florin Boenkost (Vienna) Hannah Dopmeyer (Bielefeld) Emma Horton (Warwick) Sebastian Hummel (Zurich) Paul Jenkins (Warwick) Andreas Kyprianou (Warwick) Martin Möhle (Tübingen) Cornelia Pokalyuk (Lübeck) Charline Smadi (Grenoble) Vitali Wachtel (Bielefeld) Anton Wakolbinger (Frankfurt) Organisers: Ellen Baake (Bielefeld) Fernando Cordero (Vienna)

This workshop provides a platform for young researchers to present their work, engage in discussions, and foster collaboration and idea-sharing in the fields of stochastic analysis and stochastic geometric analysis.

Topics of particular interest include machine learning, phase and low-rank recovery, and graph signal processing. We aim to provide a forum for the presentation of recent developments in the area of mathematical signal and image processing, both to experienced and to junior researchers. We will have both plenary and contributed talks, as well as a poster session. List of confirmed plenary speakers: Rima Alaifari (ETH Zürich) Helmut Bölcskei (ETH Zürich) Mahya Ghandehari (University of Delaware) Philipp Grohs (University of Vienna) Gabriele Steidl (TU Berlin) Mitchell Taylor (ETH Zürich) Rachel Ward (UT Austin, Microsoft) Dates and deadlines: Registration will open soon.

Can machines prove theorems? Can they have mathematical ideas? On one hand, category theory offers a formalism for axiomatising ideas from machine learning. On the other hand, mathematicians are excited about the prospect of utilising machine learning techniques to spot new patterns in vast swathes of combinatorial data and hence formulate new conjectures. The purpose of this workshop is to bring together experts from across algebraic combinatorics, category theory, and machine learning in order to make headway on topics at the intersection of these fields.

Dear all, We are organising a workshop “Mechanisation and Mathematical Research” at the Lorentz Center in Leiden, from 15 to 19 September 2025. In this event, we want to reflect on how developments in formal mathematics and AI for theorem proving may change the practice of mathematical research. We have an exciting group of experts from computer science, mathematics, history, and philosophy lined up. Confirmed participants: Jarod Alper (U Washington), Jeremy Avigad (Carnegie Mellon), Michael Barany (Edinburgh), Kevin Buzzard (Imperial College), Antoine Chambert-Loir (Paris Cité), Thierry Coquand (Gothenburg), Silvia De Toffoli (Pavia), Walter Dean (Warwick), Simon DeDeo (Carnegie Mellon), Stephanie Dick (Simon Fraser), Robbert Dijkgraaf (U Amsterdam), Catarina Dutilh Novaes (VU Amsterdam), Timothy Gowers (Collège de France), Massimiliano Gubinelli (Oxford), Thomas Hubert (Google DeepMind), Albert Jiang (Mistral AI), Bryna Kra (Northwestern), Wenda Li (Edinburgh), Heather Macbeth (Imperial College), Jim Portegies (TU/Eindhoven), Talia Ringer (U Illinois), Ronald van Luijk (Leiden), Jan van Neerven (TU Delft). There is still room for 25-30 additional participants, and we invite everyone how is interested in reflecting on the mathematical practice to apply to participate. Junior mathematicians in particular are strongly encouraged to apply (and we have some limited financial support for junior participants). Deadline for application is June 9. For more information and to apply: https://www.lorentzcenter.nl/mechanization-and-mathematical-research.html Feel free to forward this message to potentially interested participants. The organisers, Johan Commelin, Mateja Jamnik, Rodrigo Ochigame, Lenny Taelman, Akshay Venkatesh