Seminars
Seminars take place on fortnightly Mondays at 2pm, usually in room 4.31/4.33. This is our research talk series and all Informatics staff and students are welcome to attend. Presentations by external speakers can be up to one hour long while internal talks usually last 30 minutes.
1 July 2019 - Brandon Bohrer (Carnegie Mellon University)
Definite Descriptions in Differential Dynamic Logic: Extensible Foundations for Practical Hybrid Systems Proving
8 July 2019 - Juan Casanova
Details to follow
9 July 2019 - Prof. Toby Walsh
AI & Ethics: the view down under
15 July 2019 - Jake Palmer
Details to Follow
22 July 2019 - Fangzhen Lin (The Hong Kong University of Science and Technology)
Program Verification in First-Order Logic
30 July 2019 - Francisco Quesada
Details to follow
Previous Seminars
List of previous seminars