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

Upcoming Seminars

Date Speaker Title
add to calender27 May 2025

 
13:00
Ashton Lecture Theatre
dept
Pian Yu
University College London
add to calender19 Jun 2025

 
13:00

dept
Jintai Ding
Xi'an Jiaotong-Liverpool University (XJTLU)
Post-quantum cryptography – a New Era.


Other seminar series