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.
23 April 2018: Jasmin Blanchette
Formal Proof for the Working Automated Reasoning Researcher
30 April 2018: Florian Kammueller
Attack Trees in Isabelle
14 May 2018: Maria Polukarov
Title and abstract to follow
21 May 2018: Malcolm Atkinson
Title and abstract to follow
28 May 2018: Sonja Smets
Title and abstract to follow
11 June 2018: No CISA seminar (ISWG Workshop)
No seminar today
18 June 2018: Mateja Jamnik
Title and abstract to follow
25 June 2018: Aurora Constantin
Title and abstract to follow
9 July 2018: Chris Lin
Title and abstract to follow
6 August 2018: Jake Palmer
Title and abstract to follow
Previous Seminars
List of previous seminars