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.

29 October 2018: Francisco J. Quesada

Title and abstract to follow.

5 November 2018: Alan Bundy

Automated Reasoning in the Age of the Internet

12 November 2018: Carl Hewitt

Title and abstract to follow.

19 November 2018: Petros Papapanagiotou

Title and Abstract to follow.

3 December 2018: Michael Rovatsos

Title and abstract to follow.

Previous Seminars

List of previous seminars