News

 8 september 2022 4.15Prof. Emily Riehl (Johns Hopkins) : Path induction and the indiscernibility of identicalsThis event is supported by the Hoover Foundation for t

Dr Gwenhaël de Wasseige will join the IRMP as new permanent academic staff member starting from September 2021.

M meets the P "New ways of doing research" will be held on Thursday 11 January from 2pm at CYCL01.Programme : 14:00 → 15:00 Rigorous machine-checked mathematics - Assia Mahboubi&nb

Thursday, November 3Prof. Nathalie Wahl (University of Copenhagen) : What do closed strings know about the space they live on?Abstract: To a Riemannian manifold M, one can associat

The H2020 research and innovation action for security (H2020-RIA) called SilentBorder, a catchy acronym for “Cosmic Ray Tomograph for Identification of Hazardous and Illegal Goods hidden in Trucks and