Programme

A condensed version of the programme (without session-specific details) is given below. The full programme is available here.

Sessions and coffee breaks for the constituent conferences take place in the following locations:

ICALP: Windsor Building
PODC: Shilling Building
SPAA: Queens Building

Lunch is served in the Students’ Union building. You can refer to our map page for the locations of these buildings on the campus.

All workshops are open to conference attendees with a 5-day registration.

ICALP Windsor Building	PODC Shilling/Queens Building	PODC & SPAA Shilling/Queens Building
08:55-10:00 Algorithmic Aspects of Temporal Graphs IX (Session 1) Windsor 1-02 09:00-10:00 Quantum Constraint Satisfaction Problems (Arrival) Windsor 0-04 09:05-09:10 Infinity 2026 Welcome Windsor 0-02 09:10-09:55 Infinity 2026 (Henning Fernau) Fine-Grained Complexity and Formal Languages Windsor 0-02 09:55-10:00 Infinity 2026 Introductions Windsor 0-02	08:55-10:00 ApPLIED Keynote (Philipp Woelfel) Efficient Randomized Shared Memory Primitives and Algorithms Shilling Building Lecture Theatre [stream] [qs]	09:00-10:00 Student Spotlight Workshop 2026 (Session 1) Queens Building Lecture Theatre [stream] [qs]
10:00-10:30 Coffee Break
10:30-12:00 Algorithmic Aspects of Temporal Graphs IX (Session 2) Windsor 1-02 10:30-11:15 Infinity 2026 (Henry Sinclair-Banks) Precise Complexity Analysis of Coverability in Vector Addition Systems Windsor 0-02 10:30-12:00 Quantum Constraint Satisfaction Problems (Session 2) Windsor 0-04 11:25-12:15 Infinity 2026 (Spotlight Talks) Windsor 0-02	10:30-12:30 ApPLIED Session 2 Shared Memory, Consensus, Causality, and Distributed Systems Shilling Building Lecture Theatre [stream] [qs]	10:30-12:30 Student Spotlight Workshop 2026 (Session 2) Queens Building Lecture Theatre [stream] [qs]
12:30-14:00 Lunch - Students’ Union Building
14:00-15:00 Algorithmic Aspects of Temporal Graphs IX (Session 3) Windsor 1-02 14:00-15:00 Quantum Constraint Satisfaction Problems (Session 3) Windsor 0-04 14:05-14:50 Infinity 2026 (Nofar Carmeli) Fine-Grained Dichotomies for evaluating database queries Windsor 0-02	14:00-15:00 ApPLIED Keynote (Philippas Tsigas) Relaxed Concurrent Data Structures Shilling Building Lecture Theatre [stream] [qs]	14:00-15:00 Grassroots Computing Queens 170 [stream] [qs] 14:00-15:00 Parallel Spatial Data Structures Queens Building Lecture Theatre [stream] [qs]
15:00-15:30 Coffee Break
14:05-14:50 Infinity 2026 (Michael Wehar) On The Fine Grained Complexity of Multi-Stack Reachability Windsor 0-02 15:30-17:30 Algorithmic Aspects of Temporal Graphs IX (Session 4) Windsor 1-02 15:30-17:30 Quantum Constraint Satisfaction Problems (Session 4) Windsor 0-04 16:15-17:00 Infinity 2026 (Andreas Pavlogiannis) On the Fine-Grained Complexity of Concurrency Testing Windsor 0-02 17:10-17:55 Infinity 2026 (Alexander Golovnev) Online Orthogonal Vectors Revisited Windsor 0-02	15:30-16:40 ApPLIED Session 2 Data Structures, AI, and Cloud Verification Shilling Building Lecture Theatre [stream] [qs] 16:30-18:00 A Celebration of Prasad Jayanti Queens Building Lecture Theatre [stream] [qs] 16:50-17:30 ApPLIED Session 3 Decentralized Services, Time, and Byzantine Communication Shilling Building Lecture Theatre [stream] [qs]	15:30-17:00 Grassroots Computing Queens 170 [stream] [qs] 15:30-16:30 Student Spotlight Workshop 2026 (Poster Session) Shilling Building Foyer
18:00-19:30 Drinks Reception - Windsor Building

ICALP Windsor Building	PODC Shilling Building Auditorium	SPAA Queens Building Lecture Theatre
09:00-10:00 Invited Talk (Nutan Limaye) Algebraic Proof Systems - An Algebraic Approach to Analysing Proofs Windsor Auditorium	08:40-08:45 Opening [stream] [qs] 08:45-10:00 Session 1 [stream] [qs]	08:35-08:40 Opening [stream] [qs] 08:40-10:00 Session 1: Scheduling Algorithms [stream] [qs]
10:00-10:30 Coffee Break
10:30-12:30 Session 1.1 (Track A) Windsor 0-04 10:30-12:30 Session 1.2 (Track A) Windsor 1-02/03 10:30-12:30 Session 1.3 (Track A) Windsor 1-04 10:30-12:30 Session 1.4 (Track A) Windsor 1-05 10:30-12:30 Session 1.5 Transducers (Track B) Windsor 0-02/03	10:30-11:20 Session 2 [stream] [qs] 11:20-12:20 Session 3 [stream] [qs]	10:30-11:30 Session 2: Parallel (Shared-Memory) Graph Algorithms [stream] [qs] 11:40-12:20 Session 3: Brief Announcements: Fault Tolerance, Dispersion, and Consensus [stream] [qs]
12:30-14:00 Lunch - Students’ Union Building
14:00-14:45 Gödel Award (Ilias Diakonikolas, Gautam Kamath, Daniel Kane, Jerry Li, Ankur Moitra, and Alistair Stewart) Algorithmic Robust Statistics Windsor Auditorium 14:45-15:15 Presburger Award (Vincent Cohen-Addad) Dimensionality, Metrics, and Compression: A Decade of Algorithmic Advances in Clustering Windsor Auditorium 15:15-15:45 Coffee Break	14:00-15:00 Session 4 [stream] [qs] 15:05-16:00 Session 5 [stream] [qs] 16:00-16:25 Coffee Break	14:00-15:00 Session 4: Concurrent Data Structures [stream] [qs] 15:05-16:05 Session 5: Fault Tolerance in Distributed Systems [stream] [qs] 16:05-16:25 Coffee Break
15:45-17:45 Session 2.1 (Track A) Windsor 0-04 15:45-17:45 Session 2.2 (Track A) Windsor 1-02/03 15:45-17:45 Session 2.3 (Track A) Windsor 1-04 15:45-17:45 Session 2.4 (Track A) Windsor Building Auditorium 15:45-17:45 Session 2.5 Constraint Satisfaction, Codes, and Semi-ring Semantics (Track B) Windsor 0-02/03
	16:25-17:35 Invited Talk (Peter Sanders) Parallel Algorithm Engineering Reconsidered Shilling Building Auditorium [stream] [qs]
	17:45-19:15 PODC Business Meeting [stream] [qs]	17:45-19:15 SPAA Business Meeting [stream] [qs]
19:30-21:30 Banquet Founders Square

ICALP Windsor Building	PODC Shilling Building Auditorium	SPAA Queens Building Lecture Theatre
09:00-10:00 Invited Talk (Georg Zetzsche) Decidability and Complexity Borders of Reachability Problems Windsor Auditorium	08:40-10:00 Session 6 [stream] [qs]	08:40-10:00 Session 1: Parallel and (More) Concurrent Data Structures [stream] [qs]
10:00-10:30 Coffee Break
10:30-12:30 Session 3.1 (Track A) Windsor 0-04 10:30-12:30 Session 3.2 (Track A) Windsor 1-02/03 10:30-12:30 Session 3.3 (Track A) Windsor 1-04 10:30-12:30 Session 3.4 (Track A) Windsor 1-05 10:30-12:30 Session 3.5 (Track A) Windsor Auditorium 10:30-12:30 Session 3.6 Advanced Automata Models (Track B) Windsor 0-02/03	10:30-11:30 Dijkstra Prize Talk (Gopal Pandurangan) The Omega(D+sqrt(n)) Lower Bound Story of Distributed Algorithms [stream] [qs] 11:35-12:20 Session 7 [stream] [qs]	10:25-11:25 Session 2: Energy-Efficient Computing [stream] [qs] 11:30-12:20 Session 3: Brief Announcements: Performance Modeling, Analysis, and Optimization [stream] [qs]
12:30-14:00 Lunch - Students’ Union Building
14:00-15:40 Best Papers Session Windsor Auditorium	14:00-15:30 Session 8 [stream] [qs]	14:00-15:30 Session 4: Distributed Graph Algorithms [stream] [qs]
15:30-16:00 Coffee Break
16:00-16:10 Distinguished Dissertation Awards Windsor Auditorium 16:10-17:00 EATCS Award (Yishay Mansour) ML and TCS - A Personal Perspective Windsor Auditorium 17:00-19:00 EATCS Assembly and ICALP Business Meeting Windsor Auditorium	15:55-16:55 Session 9 [stream] [qs] 17:00-18:00 Session 10 [stream] [qs]	16:00-17:00 Session 5: Paging and PIM Scheduling [stream] [qs]
	19:30-21:30 Banquet Founders Square

ICALP Windsor Building	PODC Shilling Building Auditorium	SPAA Queens Building Lecture Theatre
09:00-10:00 Invited Talk (Venkatesan Guruswami) The Power of Subspace Designs: Optimal List Decoding, Proximity Gaps, and More Windsor Auditorium	08:40-10:00 Session 11 [stream] [qs]	08:40-10:00 Session 1: Performance Analysis and Optimization for Modern Computing Systems [stream] [qs]
10:00-10:30 Coffee Break
10:30-12:30 Session 4.1 (Track A) Windsor 0-04 10:30-12:30 Session 4.2 (Track A) Windsor 1-02/03 10:30-12:30 Session 4.3 (Track A) Windsor 1-04 10:30-12:30 Session 4.4 (Track A) Windsor 1-05 10:30-12:30 Session 4.5 (Track A) Windsor Auditorium 10:30-12:30 Session 4.6 Language Theory (Track B) Windsor 0-02/03	10:30-11:20 Session 12 [stream] [qs] 11:20-12:20 Session 13 [stream] [qs]	10:30-11:30 Parallel Computing Award Talk (Phillip Gibbons) Lessons Learned from Four Decades of Parallel Computing [stream] [qs] 11:40-12:20 Session 3: Brief Announcements: Concurrency, Partitioning, and Scheduling [stream] [qs]
12:30-14:00 Lunch - Students’ Union Building
14:00-14:45 Church Award (Pablo Barceló, Leonid Libkin, Wim Martens, Juan Reutter, Miguel Romero, Moshe Vardi, Domagoj Vrgoč) From Logic to Standards Windsor Auditorium 14:45-15:15 Presburger Award (Gautam Kamath) Algorithms for Differentially Private Estimation Windsor Auditorium 15:15-15:45 Coffee Break 15:45-17:45 Session 5.1 (Track A) Windsor 0-04 15:45-17:45 Session 5.2 (Track A) Windsor 1-02/03 15:45-17:45 Session 5.3 (Track A) Windsor 1-04 15:45-17:45 Session 5.4 (Track A) Windsor Building Auditorium 15:45-17:45 Session 5.5 Circuits and Real Analysis (Track B) Windsor 0-02/03	14:00-15:05 Session 14 [stream] [qs] 15:10-16:15 Session 15 [stream] [qs]	14:00-15:00 Session 4: More Distributed Algorithms [stream] [qs] 15:15-16:15 Session 5: Lower Bounds and Optimality [stream] [qs]
	16:15-16:45 Coffee Break
	16:45-17:55 Invited Talk (Robert Tarjan) Highly Asynchronous Concurrency in Data Structures [stream] [qs]
	17:55-18:00 Closing (PODC/SPAA)

ICALP Windsor Building	PODC Workshops Shilling Building
09:00-10:00 Invited Talk (Karl Bringmann) Fine-Grained Complexity of Optimization: The Case of 2D Knapsack Windsor Building Auditorium	09:00-10:00 Gems of Distributed Computing (GODC@PODC) Shilling Building Lecture Theatre [stream] [qs]
10:00-10:30 Coffee Break
10:30-12:30 Session 6.1 (Track A) Windsor 0-04 10:30-12:30 Session 6.2 (Track A) Windsor 1-02/03 10:30-12:30 Session 6.3 (Track A) Windsor 1-04 10:30-12:30 Session 6.4 (Track A) Windsor Building Auditorium 10:30-12:30 Session 6.5 Quantitative Languages (Track B) Windsor 0-02/03	10:30-12:15 Tutorial: Erasure Coding in Distributed Protocols (Session 1) Shilling Building Lecture Theatre [stream] [qs]
12:30-14:00 Lunch - Students’ Union Building
14:00-15:12 Session 7.1 (Track A) Windsor 0-04 14:00-15:12 Session 7.2 (Track A) Windsor 1-02/03 14:00-15:12 Session 7.3 (Track A) Windsor 1-04 14:00-15:12 Session 7.4 (Track A) Windsor Building Auditorium 14:00-15:12 Session 7.5 Programming Models, Topology, and Analysis (Track B) Windsor 0-02/03 15:12-15:30 Coffee Break 15:30-16:42 Session 8.1 (Track A) Windsor 0-04 15:30-16:42 Session 8.2 (Track A) Windsor 1-02/03 15:30-16:42 Session 8.3 (Track A) Windsor 1-04 15:30-16:18 Session 8.4 (Track A) Windsor Building Auditorium	14:00-15:00 Tutorial: Erasure Coding in Distributed Protocols (Session 2) Shilling Building Lecture Theatre [stream] [qs]