Verification Series

Seminars and research group discussions are normally held at 11am on Tuesday, typically in meeting room 2.08 or 1.01.
Suggestions for possible speakers should be sent to Alexei

Currently meetings are being held on-line via Microsoft Teams

All Seminars

Date Speaker Title
add to calender27 May 2025

 
13:00

dept 		Pian Yu
University College London
Previous talks
add to calender26 Mar 2025

 
14:00

Heleshaw Lecture Theatre, School of Engineering
dept 		Gerard Milburn
University of Queensland 		Quantum physical machine learning
add to calender18 Mar 2025

 
13:00
ELEC204, 2th Floor Lecture Theatre EEE
dept 		Giuseppe De Giacomo
University of Oxford 		From Infinite to Finite Traces and Back: Linear Temporal Logic in Sequential Decision Making
add to calender11 Mar 2025

 
13:00
ELEC204, 2th Floor Lecture Theatre EEE
dept
Tomáš Hons

Charles University, Prague 		A polynomial Ramsey statement for bounded VC-dimension
add to calender25 Feb 2025

 
13:00
Ashton Lecture Theatre
dept 		Julien Duron
ENS Lyon 		Adjacency labeling schemes and small classes of graphs
add to calender04 Feb 2025

 
13:00
Ashton Lecture Theatre
dept 		Andrei Krokhin
Durham University 		The complexity of Promise Constraint Satisfaction Problems
add to calender28 Jan 2025

 
13:00
6th Floor Conference Room 605, EEE
dept 		Leoni Winschermann
University of Twente 		`Solving` the energy transition - Research on the interface between optimization and application
add to calender19 Nov 2024

 
13:00
Ashton Lecture Theatre
dept 		Luca Zanetti
University of Bath 		An analysis of Elo rating systems via Markov chains
add to calender22 Oct 2024

 
13:00
Ashton Lecture Theatre
dept 		Ron van der Meyden
University of New South Wales 		Epistemic Model Checking and Synthesis of Byzantine Agreement Protocols

Older Seminars
ordered by Academic Year


Other seminar series