Events

A large community of pure mathematicians has recognized the importance of formal verification in modern mathematics and is looking forward to systems like Lean becoming an everyday tool in research. At the same time, automated theorem proving has recently become popular in the machine learning community as a benchmark and stepping stone for the more general task of automated reasoning. The goal of this workshop is to bring these communities together. We will have talks and tutorials that introduce mathematicians to Lean and to state-of-the-art technologies in automated theorem proving. We will also discuss future research directions, tooling, and other ways to make this technology more useful to working mathematicians. Our medium-term goal is to initiate an effort in the mathematical community to develop a well-aligned dataset that can be used to benchmark models for tasks that are close to the use cases of working mathematicians. The first afternoon of the workshop will be a hackathon whose goal is to create tools that will aid mathematicians in this dataset creation.

Within the mathematics of fluid mechanics, fluid-solid interactions have been a rapidly expanding field since the early 2000s. Fluid-solid problems are unique in that they have applications in a wide variety of fields. Systems mixing fluids and solids are involved in both industrial contexts (describing the behavior of wind turbines for energy production) and health issues (calculating the impact of hematocrit or the mechanical properties of red blood cells on blood viscosity). The various questions associated with these different experimental settings involve a wide range of mathematical fields, including analysis and simulation of partial differential equations, homogenization, control theory and statistical physics. LECTURES David Gérard-Varet (Université Paris-Cité) Helmut Abels (Universität Regensburg) TALKS Michele Coti-Zelati (Imperial College) TBC Mitia Duerinckx (FNRS, Université libre de Bruxelles) Sylvain Ervedoza (CNRS, Université de Bordeaux) Giusy Mazzone (Queen’s University) Amina Mecherbet (Université Paris-Cité) Mei Ming (Yunnan University) Monica Musso (University of Bath) Grigor Nika (Karlstad University) Charlotte Perrin (CNRS, Aix-Marseille Université) TBC Mythily Ramaswamy (Tata Institute) Elena Salguero (Max Planck Institute)

We are pleased to announce the conference Geometry at Large, which will take place at the Instituto de Ciencias Matemáticas (ICMAT), in Madrid (Spain), during 21-25 April 2025. This event, organized jointly by ICMAT and the Institute of the Mathematical Sciences of the Americas (IMSA), aims to bring together leading researchers from Spain and Latin America to explore a wide range of topics within the broad field of geometry, including algebraic geometry, differential geometry, geometric group theory, etc. It will provide a platform for presenting the latest advancements in these areas, and for fostering scientific collaboration between the mathematical communities of Spain and Latin America. Every person interested in participating in the conference must pre-register here before 20 January 2025. Confirmed participants will receive an email from the organizing committee no later than 31 January 2025. There may be limited funds to cover the accommodation of a small number of young researchers. Interested people should tick the appropriate box on the pre-registration form. All the details about the conference may be found at the conference website. The organizers, Javier Aramayona (ICMAT), Oscar García-Prada (ICMAT), Ludmil Katzarkov (IMSA), Jaqueline Mesquita (Brasilia)

This event, organized by ICMAT and IMSA, aims to bring together leading researchers from Spain and Latin America to explore a wide range of topics within the broad field of geometry, including algebraic geometry, differential geometry, and geometric group theory. The conference will provide a platform for presenting the latest advancements in these areas and fostering scientific collaboration between the mathematical communities of Spain and Latin America. By promoting cross-border exchanges and identifying new areas for collaboration, Geometry at Large seeks to enhance scientific cohesion and contribute to the ongoing development of mathematical research.

The 3rd International Mathematics and Statistics Student Research Symposium (IMSSRS) will be held virtually on Saturday, April 12, 2025. IMSSRS is a free conference welcoming high school, community college, undergraduate, and graduate students to present their mathematics and statistics research, explore current research topics, and connect with like-minded enthusiasts. This year’s program features a keynote address by Dr. Susan Goldstine (St. Mary’s College of Maryland) on "The Long and Winding Road to Non-Euclidean Geometry." There will also be a panel discussion on "Life After College," exploring career options for mathematical science graduates, with opportunities for audience Q&A. Abstract submission and registration deadlines are March 28. While presenters must be students, all are welcome to attend. Visit the event website for more details and share the experience with fellow students and colleagues.

The geometric arrangement of a material’s constituents plays an important role in governing its behavior. Concepts from discrete mathematics to describe these geometric arrangements, including notions of rigidity and flexibility, can bring fundamental insight into how a material might respond to stress, be designed, be reconfigured, etc. Beyond materials, the notions of network rigidity can be applied to more abstract networks and geometries, such as those found in data science. This workshop aims to build connections between the field of mathematical rigidity theory, other topics in applied mathematics, and related areas of science and engineering.

The workshop will explore various topics related to discrete structures and randomness, including but not limited to percolation, random graphs, and stochastic geometry. The program will feature presentations from the 9 keynote speakers below, as well as contributed talks. - Timothy Budd (Radboud University) - Nicolas Curien (Université Paris-Sud) - Daniel Dadush (Utrecht University) - Zakhar Kabluchko (University of Münster) - Júlia Komjáthy (Delft University of Technology) - Irène Marcovici (Université de Rouen Normandie) - Giovanni Peccati (University of Luxembourg) - Wioletta Ruszel (Utrecht University) - Clara Stegehuis (Twente University) For more information and registration, please visit our website: https://sites.google.com/rug.nl/words2025/home The registration deadline is February 28, 2025. We encourage junior researchers to propose a contributed talk. We look forward to seeing you in Groningen! Tobias Müller, Réka Szabó and Gilles Bonnet

The goal of this conference is to present a panorama of research directions in mathematics and mathematical physics related to the scientific program of our CRC 1624 "Higher structures, moduli spaces and integrability". The CRC 1624 has started in the Spring of 2024. It aims to stimulate interactions between highly active topics in mathematics such as higher structures and their applications in TQFT and CFT, the geometry of moduli spaces with their applications in SUSY QFT and string theory like the swampland program, and integrability with its multitude of applications in quantum field theory and string theory. With this conference we aim to stimulate new interactions between mathematics and theoretical physics by bringing together leading representatives of these research directions.

This is an informal workshop entirely dedicated to young mathematicians who work in differential geometry in a broad sense. The scientific theme of the workshop is the study of topological and geometric properties of complex manifolds, and, more in general, of manifolds endowed with ''special'' geometric structures, either integrable or non-integrable.

The Hanseatic Dynamical Systems Days (HanDSDays) are recurring one-day workshops taking place at universities in Northern Germany. The goal of the workshop is to enhance connections, collaborations and exchange of ideas within the Dynamical Systems & Ergodic Theory community. The 11th HanDSDay will take place at the University of Bremen at March 28th, 2025. For more information: https://sites.google.com/view/handsdays11