17 Sep 2024
dept
|
Andreas Padalkin
Paderborn University |
Polylogarithmic Time Algorithms for Shortest Path Forests in Programmable Matter
|
|
09 Oct 2024 |
Joachim Spoerhase
University of Liverpool |
Parameterized Approximation Schemes for Clustering with General Norm Objectives
|
15 Oct 2024
dept
|
Parinya Chalermsook
Aalto University |
Fast and Survivable Network Design
|
22 Oct 2024
dept
|
Ron van der Meyden
University of New South Wales |
Epistemic Model Checking and Synthesis of Byzantine Agreement Protocols
|
29 Oct 2024
dept
|
Aris Filos-Ratsikas
University of Edinburgh |
Pushing the Frontier on Approximate EFX Allocations
|
19 Nov 2024
dept
|
Luca Zanetti
University of Bath |
An analysis of Elo rating systems via Markov chains
|
|
27 Nov 2024 |
Nathan Flaherty
University of Liverpool |
Collision-Free Robot Scheduling
|
28 Jan 2025
dept
|
Leoni Winschermann
University of Twente |
`Solving` the energy transition - Research on the interface between optimization and application
|
04 Feb 2025
dept
|
Andrei Krokhin
Durham University |
The complexity of Promise Constraint Satisfaction Problems
|
25 Feb 2025
dept
|
Julien Duron
ENS Lyon |
Adjacency labeling schemes and small classes of graphs
|
04 Mar 2025
dept
|
Alessandro Varsi
University of Liverpool |
The Quest for Optimal Parallel Monte Carlo Methods
|
11 Mar 2025
dept
|
Tomáš Hons
Charles University, Prague |
A polynomial Ramsey statement for bounded VC-dimension
|
18 Mar 2025
dept
|
Giuseppe De Giacomo
University of Oxford |
From Infinite to Finite Traces and Back: Linear Temporal Logic in Sequential Decision Making
|
25 Mar 2025
dept
|
Thomas Erlebach
Durham University |
Temporal Graph Realization Problems
|
26 Mar 2025
dept
|
Gerard Milburn
University of Queensland |
Quantum physical machine learning
|
15 Apr 2025
dept
|
Enrico Daga
Open University |
Data integration as knowledge graph refinement
|
06 May 2025
dept
|
Duncan Adamson
University of St Andrews |
Maximal Independent Sets in Distributed Graphs
|
16 May 2025
dept
|
Edward Plumb
LSE |
Simultaneous Best-Response Dynamics in Random Potential Games
|
27 May 2025
dept
|
Pian Yu
University College London |
Formal Verification for Trustworthy Human-Robot Collaboration
|
17 Jun 2025
dept
|
Iurii Volk
Sumy State University |
Exploring Collaboration Opportunities: SumDU ELIT – UoL Computer Science
|
19 Jun 2025
dept
|
Jintai Ding
Xi'an Jiaotong-Liverpool University (XJTLU) |
Post-quantum cryptography – a New Era.
|
01 Jul 2025
dept
|
Nicolas Klodt
Hasso Plattner Institute |
Exploration of Random Temporal Graphs
|