|
17 Sep 2024 |
Andreas Padalkin
Paderborn University |
Polylogarithmic Time Algorithms for Shortest Path Forests in Programmable Matter
|
[michailo]
|
11 Oct 2024
pizza
|
Dr. Gabriella Pizzuto
|
Closing the Autonomy Gap: Skill Acquisition in Robotic Chemists
|
|
|
15 Oct 2024 |
Parinya Chalermsook
Aalto University |
Fast and Survivable Network Design
|
[spoerha]
|
|
22 Oct 2024 |
Ron van der Meyden
University of New South Wales |
Epistemic Model Checking and Synthesis of Byzantine Agreement Protocols
|
[xiaowei]
|
|
29 Oct 2024 |
Aris Filos-Ratsikas
University of Edinburgh |
Pushing the Frontier on Approximate EFX Allocations
|
[gairing]
|
01 Nov 2024
pizza
|
Dr. Lutz Oettershagen
|
Temporal Centrality: Ranking Nodes in Evolving Networks
|
|
15 Nov 2024
pizza
|
Dr. Shufang Zhu
|
Trustworthy-by-design Autonomous AI Systems
|
|
|
19 Nov 2024 |
Luca Zanetti
University of Bath |
An analysis of Elo rating systems via Markov chains
|
[johnsyl]
|
|
26 Nov 2024 |
Andrew Ryzhikov
University of Oxford |
How combinatorics stands in the way of matrix reachability (and what we can do about that)
|
[dpurser]
|
|
28 Jan 2025 |
Leoni Winschermann
University of Twente |
`Solving` the energy transition - Research on the interface between optimization and application
|
[pwong]
|
|
04 Feb 2025 |
Andrei Krokhin
Durham University |
The complexity of Promise Constraint Satisfaction Problems
|
Zamaraev
|
|
11 Feb 2025 |
Alison Hsiang-Hsuan Liu
Utrecht University |
Scheduling with Locality by Routing
|
[pwong]
|
|
18 Feb 2025 |
Dillon Mayhew
University of Leeds |
Biased graphs, matroids, and excluded-minor characterisations
|
[johnsyl]
|
|
25 Feb 2025 |
Julien Duron
ENS Lyon |
Adjacency labeling schemes and small classes of graphs
|
JohnSyl
|
|
04 Mar 2025 |
Alessandro Varsi
University of Liverpool |
The Quest for Optimal Parallel Monte Carlo Methods
|
[spirakis]
|
|
11 Mar 2025 |
Tomáš Hons
Charles University, Prague |
A polynomial Ramsey statement for bounded VC-dimension
|
JohnSyl
|
|
18 Mar 2025 |
Giuseppe De Giacomo
University of Oxford |
From Infinite to Finite Traces and Back: Linear Temporal Logic in Sequential Decision Making
|
[shufang]
|
|
25 Mar 2025 |
Thomas Erlebach
Durham University |
Temporal Graph Realization Problems
|
[zamaraev]
|
|
26 Mar 2025 |
Gerard Milburn
University of Queensland |
Quantum physical machine learning
|
[gairing]
|
|
15 Apr 2025 |
Enrico Daga
Open University |
Data integration as knowledge graph refinement
|
[valli]
|
02 May 2025
pizza
|
Will Rosenbaum
|
A Quadratic Lower Bound for Stable Roommates Solvability
|
|
|
06 May 2025 |
Duncan Adamson
University of St Andrews |
Maximal Independent Sets in Distributed Graphs
|
[spirakis]
|
|
13 May 2025 |
Mina Doosti
University of Edinburgh |
Quantum Crypto Meets Machine Learning
|
NikhilMande
|
|
16 May 2025 |
Edward Plumb
LSE |
Simultaneous Best-Response Dynamics in Random Potential Games
|
RahulSavani
|
|
20 May 2025 |
Andrew Krapivin
University of Cambridge |
Optimal Bounds for Open Addressing Without Reordering
|
[zamaraev]
|
|
27 May 2025 |
Pian Yu
University College London |
Formal Verification for Trustworthy Human-Robot Collaboration
|
[shufang]
|
|
10 Jun 2025 |
Danai Vachtsevanou
University of St.Gallen |
Signifiers for Autonomous Agents: A Relational Approach to Action Perception in Open, Dynamic, and Large-Scale Hypermedia Environments
|
[trp]
|
|
17 Jun 2025 |
Iurii Volk
Sumy State University |
Exploring Collaboration Opportunities: SumDU ELIT – UoL Computer Science
|
[potapov]
|
|
19 Jun 2025 |
Jintai Ding
Xi'an Jiaotong-Liverpool University (XJTLU) |
Post-quantum cryptography – a New Era.
|
[dwojtczak]
|
|
01 Jul 2025 |
Nicolas Klodt
Hasso Plattner Institute |
Exploration of Random Temporal Graphs
|
JohnSyl
|
|
08 Jul 2025 |
Sergii Strelchuk
University of Oxford |
Flexible catalysis and catalytic space: from LOCC reachability to quantum log-space complexity
|
[potapov]
|
|
15 Jul 2025 |
Ahmed Chemori
LIRMM, University of Montpellier, CNRS |
Walking Gait Control: From Bipeds to Quadrupeds
|
[cyang]
|
|
22 Jul 2025 |
Guoliang Xing
The Chinese University of Hong Kong |
Sensor-enhanced LLM for Smart Health Systems
|
[xiaowei]
|
16 Dec 2025
[Postponed]
pizza
|
Will Rosenbaum
|
Locally Checkable Problems: Distance, Volume, and Beyond
|
|