Events
Home > Events
TP informatique : découverte de l’assistant de preuve Lean

Séminaire de Géométrie et Topologie

Prof. Massot, Patrick

Salle Cavailles

14 November 2024, 13:30 → 16:30
Finding saddle points of energy landscapes: why and how?

Séminaire MAD-Stat

Lelièvre, Tony
Toulouse School of Economics

Auditorium 3 - Ground Floor

14 November 2024, 11:00 → 12:15
Kummer fourfolds

Séminaire de Géométrie Complexe

Rios Ortiz, Angel David
14 November 2024, 10:30 → 11:30
PhD Starter Session

Séminaire des doctorants

Amphi Schwartz

14 November 2024, 09:30 → 12:00
Méthodes de traces catégoriques

Séminaire d'Homotopie et Géométrie Algébrique

Saunier, Victor
Salle Pellos

IMT 1R2 207

12 November 2024, 14:00 → 15:00