Events

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.

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)

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!

The Workshop “MMAS’25: Mathematical Modeling, Analysis and Simulation of Real-World Problems” will be held on May 2-3, 2025 at Zonguldak Bülent Ecevit University in Türkiye. The event is organized in honour of Professor Masahiro Yamamoto from the Graduate School of Mathematical Sciences, the University of Tokyo. The workshop will focus on recent advances and possible future directions in the following topics: i-Mathematical Analysis for Fractional Differential Equations ii-Inverse and Ill-posed Problems of Mathematical Physics iii-Industrial Mathematics: Scientific Computing and Algorithms MMAS'25 will be organized in a hybrid format, allowing for both face-to-face and online participation. For more information and registration, please visit our website: https://mmas.beun.edu.tr/ Deadline for abstract submission: April 25, 2025. Deadline for registration: April 30, 2025. We look forward to seeing you in Zonguldak! MMAS'25 Organising Committee 

The School will feature a series of lectures by Autumn Kent and Chris Leininger, focusing on their recent work on constructing purely pseudo-Anosov surface subgroups of Mapping Class Groups. In addition, there will be introductory talks covering related topics and also several research talks by invited speakers. This school is part of the activities organized by the Bridson-Reid laboratory, funded through ICMAT's Severo Ochoa excellence award.

This workshop capitalizes on the significant potential for mutual advancement in uncertainty quantification (UQ) and mathematical biology through cross-disciplinary collaboration. Bringing together UQ practitioners and mathematical biologists will allow UQ methodologies to be applied to explore and improve biological models through computational methods. Conversely, the unique challenges of modeling uncertainty in biological systems can inspire the development of novel UQ techniques. By fostering research collaborations at the intersection of computational and mathematical biology, UQ algorithms, and data-driven learning, this workshop aims to galvanize advancements across these fields.