When M meets the P: New ways of doing research
Thursday, 11 January 2024 -
14:00
Monday, 8 January 2024
Tuesday, 9 January 2024
Wednesday, 10 January 2024
Thursday, 11 January 2024
14:00
Rigorous machine-checked mathematics
-
Assia Mahboubi
(
INRIA
)
Rigorous machine-checked mathematics
Assia Mahboubi
(
INRIA
)
14:00 - 15:00
Room: CYCL01
15:00
Citizen science and machine learning
-
Stephen Serjeant
(
Open University
)
Citizen science and machine learning
Stephen Serjeant
(
Open University
)
15:00 - 16:00
Room: CYCL01
16:00
Coffee break
Coffee break
16:00 - 16:30
Room: CYCL01
16:30
IRMP members' innovative efforts
IRMP members' innovative efforts
16:30 - 17:30
Room: CYCL01
17:30
Drink
Drink
17:30 - 18:30
Room: CYCL01