Conférences  >  Mathématiques  >  Analyse  >  États-Unis

American Mathematical Society and Georgia Southern University-Armstrong Campus

The interaction between topology and curvature is a fundamental theme in modern mathematics. The study of scalar curvature plays an increasingly important role not only in geometry and topology, but also in general relativity and theoretical physics more generally through the theory of Dirac operators. This special session will bring together experts and young researchers who study these topics from many different points of view. The aim of this session is to share viewpoints and progress on understanding the scalar curvature and topology of manifolds, and to establish new connections among the culturally diverse groups spread worldwide, but particularly in the USA.

Email.: ekanshjauhari@ufl.edu

Global Riemannian geometry, curvature restrictions, differential geometric analysis, index theory, spin geometry, algebraic topology of manifolds.

Géométrie et topologie,    Physique mathématique

This conference will bring together leading international researchers in spectral theory and mathematical physics to discuss modern developments in the field. It will also be an opportunity to honor Barry Simon and his vast research contributions.

Calcul infinitésimal, équations différentielles et intégrales,    Physique mathématique

Formalization of mathematics is the process by which pen-and-paper mathematics is translated into a strict chain of logical deductions down to the axioms of mathematics. The subject has seen renewed interest in the last decades, thanks to the development of computer systems, called proof assistants, which make this feasible in practice. There have now been several examples of high-profile mathematical results which have been formalized. In principle any mathematical domain is accessible, but existing projects are skewed towards algebra instead of analysis. Notable exceptions are a project which formalized enough of Gromov’s convex integration theory to deduce Smale’s sphere eversion theorem, and the ongoing project to formalize Carleson’s convergence theorem for Fourier series. This workshop will bring together formalization experts and interested mathematicians to give a new impulse to formalization of analysis (in a very broad sense), and to develop abstractions and tools to deduplicate effort.

Tél.: [4018635030];     Email.: info@icerm.brown.edu

This conference focuses on recent developments in the following major directions: • Partial Differential Equations and Harmonic Analysis • Spectral Theory and Mathematical Physics. Talks will be organized into two parallel sessions.

ICM 2026 Satellite Conference

Rutgers

To celebrate the return of the International Congress of Mathematicians to the United States after a forty-year absence, we propose a satellite conference focusing on the analysis of Partial Differential Equations used to describe the physical world. The scope of the conference covers a broad range of topics, including fluid dynamics, General Relativity, optics and quantum mechanics, all unified by their connection to hyperbolic and dispersive PDEs. We aim to leverage the fantastic research environment of the northeastern USA to attract prominent mathematicians from around the world while also creating opportunities for graduate students and early-career researchers to learn from and engage with leaders in the field.

A satellite conference of the 2026 ICM

Calcul infinitésimal, équations différentielles et intégrales,    Physique mathématique