|
12 Sep 2023 |
Sougata Bose
|
history deterministic vector addition systems
|
15 Sep 2023
dept
|
Prof. Chenguang (Charlie) Yang
Bristol Robotics Laboratory, UWE Bristol |
Robot Control, Learning and Teleoperation
|
18 Sep 2023
dept
|
Dr. Maurice Fallon
Oxford Robotics Institute |
Navigation; Mapping and Perception for Dynamic Robots
|
20 Sep 2023
[Cancelled]
dept
|
Dr. Eyal Ofek
Data Blanket – Real-time AI-Driven Fire Fighting |
TBA
|
|
05 Oct 2023 |
Yong Li
|
Model Checking Strategies from Synthesis Over Finite Traces
|
10 Oct 2023
dept
|
Dr. George Kenison
School of Computer Science and Mathematics, Liverpool John Moores University |
(Un)Solvable Loop Analysis
|
|
19 Oct 2023 |
Friedrich Slivovsky
|
Intro to QBF Solving and Proof Complexity
|
|
02 Nov 2023 |
Tony Tan
|
Towards a more efficient approach to NEXP-complete problems
|
08 Nov 2023
dept
|
Dr. Benjamin Guedj
UCL Centre for Artificial Intelligence |
On generalisation and learning
|
|
23 Nov 2023 |
Nicolas Mazzocchi
IST Austria |
Quantitative Safety and Liveness
|
|
11 Jan 2024 |
Pete Austin
|
Parity Games played on Temporal Graphs
|
06 Feb 2024
dept
|
Justin Dallant
Université libre de Bruxelles |
Finding the saddlepoint faster than sorting
|
20 Feb 2024
dept
|
Dr. Noleen Köhler
School of Computing, University of Leeds |
Core Stability in Additively Separable Hedonic Games of Low Treewidth
|
27 Feb 2024
dept
|
Namrata
Centre for Discrete Mathematics and its Applications (DIMAP), University of Warwick |
Kneser Graphs are Hamiltonian
|
05 Mar 2024
dept
|
Dr. Andreas Göbel
Hasso Plattner Institute |
Sampling and approximation algorithms for Gibbs point processes
|
12 Mar 2024
dept
|
Dr. George Skretas
Hasso Plattner Institute |
Dynamic Problems on Temporal Graphs
|
19 Mar 2024
dept
|
Udi Boker
Reichman University, Israel |
History-Determinism vs. Fair-Simulation
|
26 Mar 2024
dept
|
Dr. Alexandros Hollender
All Souls College, Oxford |
The Complexity of Computing KKT Solutions of Quadratic Programs
|
27 Mar 2024
dept
|
Dr. Bogdan Alecu
School of Computing, University of Leeds |
Partitions of graphs into chain graphs & co.
|
11 Apr 2024
dept
|
Prof. Stefan Kiefer
Department of Computer Science, University of Oxford |
On unambiguous finite automata
|
16 Apr 2024
dept
|
Dr. Dmitry Chistikov
Department of Computer Science, University of Warwick |
Making elementary decisions about natural numbers
|
23 Apr 2024
dept
|
Dr. Dimitrios Los
Department of Computer Science and Technology, University of Cambridge |
On the exponential potential for analysing algorithms with dynamic data
|
24 Apr 2024
dept
|
Dr. Maria Polukarov
King's College London |
Strategic Voting and Candidacy
|
30 Apr 2024
dept
|
Dr. Samuel Braunfeld
Charles University in Prague |
Some interactions between model theory and structural graph theory
|
07 May 2024
dept
|
Dr. Ron Lavi
Department of Economics, University of Bath |
From Monopoly to Competition: When Do Optimal Contests Prevail?
|
16 Jul 2024
dept
|
Dr. Wanchote Po Jiamjitrak
Department of Computer Science, University of Helsinki |
An Analysis of Binary Search Trees using Forbidden Submatrices
|
