Seminars take place on fortnightly Mondays at 2pm, usually in room G.03. 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.

31 August 2020 - Imogen Morris

Towards a mechanisation of Euler's Infinite Analysis in the Proof Assistant Isabelle

Previous Seminars

List of previous seminars