26 Mar 2025

14:00 Heleshaw Lecture Theatre, School of Engineering |
Gerard Milburn
University of Queensland |
Quantum physical machine learning
|
dept
|
25 Mar 2025
 13:00 ELEC204, 2th Floor Lecture Theater EEE |
Thomas Erlebach
Durham University |
Temporal Graph Realization Problems
|
dept
|
18 Mar 2025
 13:00 ELEC204, 2th Floor Lecture Theatre EEE |
Giuseppe De Giacomo
University of Oxford |
From Infinite to Finite Traces and Back: Linear Temporal Logic in Sequential Decision Making
|
dept
|
11 Mar 2025
 13:00 ELEC204, 2th Floor Lecture Theatre EEE |
Tomáš Hons
Charles University, Prague |
A polynomial Ramsey statement for bounded VC-dimension
|
dept
|
04 Mar 2025
 13:00 ELEC204, 2th Floor Lecture Theatre EEE |
Alessandro Varsi
University of Liverpool |
The Quest for Optimal Parallel Monte Carlo Methods
|
dept
|
25 Feb 2025
 13:00 Ashton Lecture Theatre |
Julien Duron
ENS Lyon |
Adjacency labeling schemes and small classes of graphs
|
dept
|
18 Feb 2025
 13:00 ELEC204, 2th Floor Lecture Theatre EEE |
Dillon Mayhew
University of Leeds |
Biased graphs, matroids, and excluded-minor characterisations
|
dept
|
11 Feb 2025
 13:00 ELEC204, 2th Floor Lecture Theatre EEE |
Alison Hsiang-Hsuan Liu
Utrecht University |
Scheduling with Locality by Routing
|
dept
|
04 Feb 2025
 13:00 Ashton Lecture Theatre |
Andrei Krokhin
Durham University |
The complexity of Promise Constraint Satisfaction Problems
|
dept
|
28 Jan 2025
 13:00 6th Floor Conference Room 605, EEE |
Leoni Winschermann
University of Twente |
`Solving` the energy transition - Research on the interface between optimization and application
|
dept
|
27 Nov 2024
 14:00 Ashton 208 |
Nathan Flaherty
University of Liverpool |
Collision-Free Robot Scheduling
|
ACTO
|
26 Nov 2024
 13:00 Ashton Lecture Theatre |
Andrew Ryzhikov
University of Oxford |
How combinatorics stands in the way of matrix reachability (and what we can do about that)
|
dept
|
19 Nov 2024
 13:00 Ashton Lecture Theatre |
Luca Zanetti
University of Bath |
An analysis of Elo rating systems via Markov chains
|
dept
|
15 Nov 2024

12:00 Ashton Lecture Theatre |
Dr. Shufang Zhu
|
Trustworthy-by-design Autonomous AI Systems
|
pizza
|
01 Nov 2024

12:00 Ashton Lecture Theatre |
Dr. Lutz Oettershagen
|
Temporal Centrality: Ranking Nodes in Evolving Networks
|
pizza
|
29 Oct 2024
 13:00 Ashton Lecture Theatre |
Aris Filos-Ratsikas
University of Edinburgh |
Pushing the Frontier on Approximate EFX Allocations
|
dept
|
22 Oct 2024
 13:00 Ashton Lecture Theatre |
Ron van der Meyden
University of New South Wales |
Epistemic Model Checking and Synthesis of Byzantine Agreement Protocols
|
dept
|
15 Oct 2024
 13:00 Ashton Lecture Theatre |
Parinya Chalermsook
Aalto University |
Fast and Survivable Network Design
|
dept
|
11 Oct 2024

12:00 Ashton Lecture Theatre |
Dr. Gabriella Pizzuto
|
Closing the Autonomy Gap: Skill Acquisition in Robotic Chemists
|
pizza
|
09 Oct 2024
 14:00 Ashton Building, Meeting room 208 |
Joachim Spoerhase
University of Liverpool |
Parameterized Approximation Schemes for Clustering with General Norm Objectives
|
ACTO
|
17 Sep 2024
 13:00 Ashton Lecture Theatre |
Andreas Padalkin
Paderborn University |
Polylogarithmic Time Algorithms for Shortest Path Forests in Programmable Matter
|
dept
|