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

9 July 2019 - Prof. Toby Walsh

AI & Ethics: the view down under

Previous Seminars

List of previous seminars