Events

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

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.

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)

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.

Building on the success of the four previous conferences (held in 2017, 2019, 2021 and 2023) this biennial event will aim to draw together the considerable community of researchers and practitioners who use and / or develop innovative mathematics and data driven approaches, relevant to the applications and theory of Operational Research (OR). The conference will be held at the beautiful and easily accessible Conference Centre Aston in Birmingham and will showcase activities from across all areas of OR. We welcome contributions that are empirically motivated and with a focus on application, as well as those that are theoretically driven. The conference will host plenaries from leading international experts, sessions of themed talks, as well as poster sessions, and will provide plenty of opportunities for networking. We look forward to seeing you in Birmingham in April 2025 for a terrific event and to celebrate together the successes of OR!