Overview of all talks

Past Talks

Date Speaker Title Series
07 May 2024

 
13:00
Ashton Lecture Theatre 		Dr. Ron Lavi
Department of Economics, University of Bath 		From Monopoly to Competition: When Do Optimal Contests Prevail? dept
30 Apr 2024

 
13:00
Ashton Lecture Theatre 		Dr. Samuel Braunfeld
Charles University in Prague 		Some interactions between model theory and structural graph theory dept
24 Apr 2024

 
15:00

6th Floor Conference Room 605, EEE 		Dr. Maria Polukarov
King's College London 		Strategic Voting and Candidacy dept
23 Apr 2024

 
13:00
Ashton Lecture Theatre 		Dr. Dimitrios Los
Department of Computer Science and Technology, University of Cambridge 		On the exponential potential for analysing algorithms with dynamic data dept
16 Apr 2024

 
13:00
6th Floor Conference Room 605, EEE 		Dr. Dmitry Chistikov
Department of Computer Science, University of Warwick 		Making elementary decisions about natural numbers dept
11 Apr 2024

 
11:00

Ashton Lecture Theatre 		Prof. Stefan Kiefer
Department of Computer Science, University of Oxford 		On unambiguous finite automata dept
27 Mar 2024

 
13:00
Ashton Lecture Theatre 		Dr. Bogdan Alecu
School of Computing, University of Leeds 		Partitions of graphs into chain graphs & co. dept
26 Mar 2024

 
13:00
Ashton Lecture Theatre 		Dr. Alexandros Hollender
All Souls College, Oxford 		The Complexity of Computing KKT Solutions of Quadratic Programs dept
19 Mar 2024

 
13:00
Ashton Lecture Theatre 		Udi Boker
Reichman University, Israel 		History-Determinism vs. Fair-Simulation dept
15 Mar 2024

 
13:00

ELEC 202
Chenguang (Charlie) Yang

 Robot Control, Learning and Teleoperation pizza
12 Mar 2024

 
13:00
Ashton Lecture Theatre 		Dr. George Skretas
Hasso Plattner Institute 		Dynamic Problems on Temporal Graphs dept
05 Mar 2024

 
13:00
6th Floor Conference Room 605, EEE 		Dr. Andreas Göbel
Hasso Plattner Institute 		Sampling and approximation algorithms for Gibbs point processes dept
01 Mar 2024

 
14:00
Maya Wardeh

 Host in the Machine - Towards Explainable AI framework which directs experiments to strengthen its ability to answer the question: “Where do viruses hide?” pizza
27 Feb 2024

 
13:00
Ashton Lecture Theatre 		Namrata
Centre for Discrete Mathematics and its Applications (DIMAP), University of Warwick 		Kneser Graphs are Hamiltonian dept
20 Feb 2024

 
13:00
6th Floor Conference Room 605, EEE 		Dr. Noleen Köhler
School of Computing, University of Leeds 		Core Stability in Additively Separable Hedonic Games of Low Treewidth dept
06 Feb 2024

 
13:00
6th Floor Conference Room 605, EEE 		Justin Dallant
Université libre de Bruxelles 		Finding the saddlepoint faster than sorting dept
02 Feb 2024

 
14:00
Dr Friedrich Slivovsky

 From SAT to QBF Solving pizza
11 Jan 2024

 
11:00
Pete Austin

 Parity Games played on Temporal Graphs verification
12 Dec 2023

 
13:00
Ashton Lecture Theatre 		Dr. Dibyayan Chakraborty
School of Computing, University of Leeds 		Isometric path complexity of graphs dept
08 Dec 2023

 
14:00
Lorenzo Gheri

 Concurrent programming, session types, and proof assistants pizza
05 Dec 2023

 
14:00

ELEC 205 E5 Electrical Engineering, Lecture Room E5 		Dr. Ernesto Jiménez-Ruiz
City, University of London 		Ontology Alignment and the two DL dept
29 Nov 2023

 
14:00
John Sylvester

Recent progress on implicit representations of graph classes acto
28 Nov 2023

 
13:00
Ashton Lecture Theatre 		Dr. Sharat Ibrahimpur
Department of Mathematics, London School of Economics and Political Science 		Efficient Caching with Reserves via Marking dept
23 Nov 2023

 
11:00
Ashton 101
Nicolas Mazzocchi

IST Austria 		Quantitative Safety and Liveness verification
17 Nov 2023

 
14:00
Ashton Lecture Theatre
Guangliang Cheng

 From Scene Understanding to Vision-Language Joint Understanding pizza
14 Nov 2023

 
13:00
Ashton Lecture Theatre 		Dr. Dario Paccagnan
Department of Computing, Imperial College London 		The Pick-to-Learn Algorithm: Self-certifying ML dept
08 Nov 2023

 
11:00

6th Floor Conference Room 605, EEE 		Dr. Benjamin Guedj
UCL Centre for Artificial Intelligence 		On generalisation and learning dept
02 Nov 2023

 
11:00
Tony Tan

 Towards a more efficient approach to NEXP-complete problems verification
31 Oct 2023

 
13:00
Ashton Lecture Theatre 		Dr. Markus Brill
Department of Computer Science, University of Warwick 		Robust and Verifiable Proportionality Axioms for Multiwinner Voting dept
27 Oct 2023

 
14:00
Ashton Lecture Theatre
Georgios Birmpas

 Fairly allocating indivisible goods to strategic agents pizza
25 Oct 2023

 
13:00
Online Webinar 		Dr Dan Sun
Queen's University, Belfast 		Pushing the boundaries: exploring the potential of composites in healthcare & aircraft technologies wit
19 Oct 2023

 
11:00
Friedrich Slivovsky

 Intro to QBF Solving and Proof Complexity verification
17 Oct 2023

 
13:00
Ashton Lecture Theatre 		Prof. Mamoru Komachi
Hitotsubashi University and Tokyo Metropolitan University, Japan 		Cross-lingual transfer learning with multilingual masked language models dept
10 Oct 2023

 
13:00
Ashton Lecture Theatre 		Dr. George Kenison
School of Computer Science and Mathematics, Liverpool John Moores University 		(Un)Solvable Loop Analysis dept
05 Oct 2023

 
11:00
Yong Li

 Model Checking Strategies from Synthesis Over Finite Traces verification
20 Sep 2023

 
13:00
6th Floor Conference Room 605, EEE
[Cancelled] 		Dr. Eyal Ofek
Data Blanket – Real-time AI-Driven Fire Fighting 		TBA dept
18 Sep 2023

 
13:00
6th Floor Conference Room 605, EEE 		Dr. Maurice Fallon
Oxford Robotics Institute 		Navigation; Mapping and Perception for Dynamic Robots dept
15 Sep 2023

 
13:30

6th Floor Conference Room 605, EEE 		Prof. Chenguang (Charlie) Yang
Bristol Robotics Laboratory, UWE Bristol 		Robot Control, Learning and Teleoperation dept
12 Sep 2023

 
11:00
Sougata Bose

 history deterministic vector addition systems verification

Older Seminars
ordered by Academic Year


Other seminar series