Events

The conference "Women in Automorphic Forms" (WIAF) highlights recent, excellent developments on automorphic forms. These forms are of great interest in several research areas in Mathematics and Mathematical Physics. With the WIAF conference we bring together young researchers with excellent senior researchers in order to foster communications of new results and to identify fascinating new directions of further research on automorphic forms. This conference is specially, but not exclusively, addressed to female mathematicians. WIAF 2025 will take place at the University of Bremen, September 10-12, 2025. Plenary speakers are: Ana Botero (U Bielefeld), Kathrin Bringmann (U Cologne; tentative), YoungJu Choie (POSTECH), Bo-Hae Im (KAIST), Yasemin Kara (Bogazici U), Kim Klinger-Logan (Kansas State U), Maria Rosaria Pati (U Genova), Lejla Smajlovic (U Sarajevo). Contributions from participants via short talks or poster presentations are possible (see registration information). For more information: https://www.uni-bremen.de/dynamical-systems/wiaf-2025 Please note that registration is required by August 8th, 2025. For child care support please contact us by July 5th, 2025.

SAJDHM is designed as a first moment of interaction in form of a workshop for the IRGTADS members, in order to work properly on the aforementioned project. Preliminary activities have been planned via IRGTADS seminars in July 2025, while additional lectures (at a descriptive level) and scientific activities will be planned during the workshop. These will deal with algebraic topology, combinatorial topology and discrete homotopy theory, but always in the perspective of potential applications to TDA and AI. In particular, there will be additional collaborations with other experts in related fields during the week of SAJDHM.

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

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.

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.

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.

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 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 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

How can we study algebraic geometry, modular representation theory, and stable homotopy theory at the same time? One answer is given by tensor triangular geometry, which is a young and vibrant area based on viewing symmetric monoidal triangulated categories as geometric objects. The aim of the seminar is to give a comprehensive introduction to the fundamentals of the subject and an overview of recent developments in algebra and topology. There will be a particular focus on triangulated categories associated to finite group actions, for instance equivariant spectra and categories arising from representation theory. The target audience is PhD students and postdocs with a background in homological algebra and/or homotopy theory (e.g. some exposure to derived or triangulated categories) who are keen to learn tensor triangular geometry and be brought up to date with some current research in the subject. Deadline for application: 15 July 2025