Verification Seminars
Unless otherwise stated, the seminars are on Thursdays at 14:00. If you want to volunteer to give a seminar, please contact Andrew Ryzhikov. The talks are announced via talk-announce@cs.ox.ac.uk.
Upcoming seminarsPrevious seminars
Subscribe to this seminar series calendar.
- 14:00 5th November 2024 in 051 Wolfson buildingJonni Virtema ( University of Sheffield )
- 14:00 14th November 2024<meta itemprop="location" content="TBA"/>Edon Kelmendi ( Queen Mary, University of London )
- 14:00 21st November 2024<meta itemprop="location" content="TBA"/>Luca Arnaboldi ( University of Birmingham )
- 14:00 28th November 2024<meta itemprop="location" content="TBA"/>Neha Rino ( University of Warwick )
- 14:00 5th December 2024<meta itemprop="location" content="TBA"/>David Purser ( University of Liverpool )