Overview of all talks

Upcoming Seminars

Date Speaker Title Series
add to calender27 May 2025

 
13:00
Ashton Lecture Theatre
Pian Yu
University College London
Formal Verification for Trustworthy Human-Robot Collaboration dept
add to calender19 Jun 2025

 
13:00
Jintai Ding
Xi'an Jiaotong-Liverpool University (XJTLU)
Post-quantum cryptography – a New Era. dept
add to calender01 Jul 2025

 
13:00
Nicolas Klodt
Hasso Plattner Institute
dept
add to calender08 Jul 2025

 
13:00
Sergii Strelchuk
University of Oxford
dept


Other seminar series