Activities
May 25, 2026
Conference/Workshop
Geometry and Topology of Singularities
May 25, 2026
- May 29, 2026
Organizer: IMAR
Place: Bucharest
May 28, 2026
Seminar
Logic Seminar
14:00
An introduction to the type theory of Lean
Speaker: Horațiu Cheval
(University of Bucharest)
Organizer: IMAR
Place: PBTower, Hall 203
May 29, 2026
Conference/Workshop
IMAR Outreach: Matematică și Școală, IV
May 29, 2026
- May 29, 2026
Organizer: IMAR
Place: Brănești și Vulcana-Băi
Seminar
Geometric methods in algebra and topology
14:00
Kernels of homological mapping class group representations, II
Speaker: Martin Palmer
(IMAR)
Organizer: IMAR
Place: Sala 309-310 "Gheorghe Vranceanu"