Skip to main content

News

2023-12-19
M meets the P
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 Mahboub
2023-07-03
Colloque international CT2023
    The CT2023 International Colloquium in Category Theory takes place from 2 to 8 July 2023. It is the most important conference of the year in this field, covering in particular the