Overview of all talks

All Seminars

Date Speaker Title Series
add to calender03 Mar 2026

 
13:00
Ieva Čepaitė
Phasecraft, Bristol
dept
add to calender02 Dec 2025

 
13:00
David Head
University of Leeds
dept
add to calender25 Nov 2025

 
13:00
Raimundo Saona Urmeneta
LSE
Blind Stochastic Games: From nonexistence, through undecidability, to subclasses dept
add to calender11 Nov 2025

 
13:00
Luca Prigioniero
Loughborough University
Descriptional Complexity of Models for Regular Languages dept
add to calender28 Oct 2025

 
13:00
Son Tong
Siemens
Industrial AI and Generative AI for Digital Twin dept
add to calender21 Oct 2025

 
13:00
ELEC201, 2th Floor Lecture Theater EEE
Laure Daviaud
University of East Anglia
Weighted automata: what is it? And why is it fun to study? dept
Previous talks
add to calender16 Oct 2025

 
11:00
Ashton 208
Soumyajit Paul
Liverpool
Resolving Nondeterminism by Chance verification
add to calender23 Sep 2025

 
13:00
ELEC201, 2th Floor Lecture Theater EEE
Neil Olver
LSE
Nonuniform graph partitioning with just a little flex dept
add to calender08 Sep 2025

 
9:00

Materials Innovation Factory, Liverpool, UK
Janos Pach
Rényi Institute, Budapest and EPFL, Lausanne
[MACSMIN] Mysteries about crossing numbers dept
add to calender19 Aug 2025

 
13:00
Meena Mahajan
The Institute of Mathematical Sciences, Chennai
Semi-Algebraic Proof Systems for QBF dept

Older Seminars
ordered by Academic Year



Other seminar series