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 (INRIA)
15:00 → 16:00 Citizen science and machine learning - Stephen Serjeant (Open University)
16:00 → 16:30 Coffee break
16:30 → 17:30 IRMP members' innovative efforts
17:30 → 18:30 'Meet and greet' with drinks