Overview of all talks

All Seminars

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
Previous talks
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
1:00	Conrado Martínez Universitat Polytècnica de Catalunya		networks

Older Seminars

ordered by Academic Year

• 2022/23
• 2021/22
• 2020/21
• 2019/20
• 2018/19
• 2017/18
• 2016/17
• 2015/16
• 2014/15
• 2013/14
• 2012/13
• 2011/12
• 2010/11
• 2009/10
• 2008/09
• 2007/08
• 2006/07
• 2005/06
• 2004/05
• 2003/04
• 2002/03
• 2001/02
• 2000/01

---

Other seminar series

• Department Seminar Series
• Algorithms, Complexity Theory and Optimisation
• Argumentation and Representation of Knowledge
• Data Mining and Machine Learning
• Economics and Computation
• Friday Lunch and Talk
• Liverpool Distinguished Computer Science Lecture
• Networks and Distributed Computing
• PhD Tea Talks
• Robotics and Autonomous Systems
• Verification
• Women in Technology
• [Overview of all seminar series]