Schedules of guest speakers for the Formal Methods Group in winter 2020. Some of these talks are organized jointly with the newly formed London Group for Formal Philosophy. (Note: we are planning further talks and may update this page accordingly)
Formal methods research seminar 2020
24 Monday Feb 2020
Posted Formal Methods, Research
in