Mykola Iorgov (Bogolyubov Institute for Theoretical Physics, Kyiv, Ukraine)
Informal introduction to formal proofs in Lean 4
Tuesday 20 October 2026 11:00  -  Salle des séminaires  -   Salle 1180, bâtiment E2  (+ de détails)

Mokhtar Hassaine (Universidad de Talca, Chili)
The Kerr--Schild structure behind the Painlevé-Gullstrand representation
Thursday 22 October 2026 14:00  -  Salle des séminaires  -   Salle 1180, bâtiment E2  (+ de détails)

Nathan Chapelier-Laget (Université du Littoral)
Entropie de permutations
Friday 23 October 2026 10:30  -  Tours  -   E2 1180  (+ de détails)

Alex Nolte (IHES)
Flexibility and degeneracy around a theorem of Thurston
Friday 23 October 2026 13:30  -  Tours  -   1180 (Bât. E2)  (+ de détails)

Jean Renault
Modules projectifs et K-théorie des solénoïdes non commutatifs
Friday 23 October 2026 14:00  -  Orléans  -   Séminaires  (+ de détails)

Lasse Wolff (IHES)
Spectra of elliptic intrinsic differential operators
Thursday 05 November 2026 14:00  -  Orléans  -   Salle de Séminaire  (+ de détails)

Rajeev Singh (Université Goethe de Francfort, Allemagne)
Relativistic hydrodynamics: connecting microscopic interactions to macroscopic collective motion
Thursday 05 November 2026 14:00  -  Salle des séminaires  -   Salle 1180, bâtiment E2  (+ de détails)

Guillaume Blanc (EPFL)
TBA
Friday 06 November 2026 10:30  -  Tours  -   E2 1180  (+ de détails)

Peter Millington (Université de Manchester, Angleterre)
TBA
Thursday 12 November 2026 14:00  -  Salle des séminaires  -   Salle 1180, bâtiment E2  (+ de détails)

Pierre Heidmann (Ohio State University, USA)
Topological Solitons in Gravity
Thursday 12 November 2026 14:00  -  Salle des séminaires  -   Salle 1180, bâtiment E2  (+ de détails)