LIQCS 2026
Logic in Quantum Computer Science
17–19 June 2026 – Inria de Paris, 48 Rue Barrault
About LIQCS
LIQCS is a workshop dedicated to the logical and mathematical foundations of
quantum computer science.
Its goal is to bring together researchers working on rigorous frameworks for
quantum computation, including logic, type theory,
semantics, algebraic and categorical methods, and formal verification.
The workshop welcomes contributions presenting new ideas, work in progress, recently published results, and perspectives on emerging research directions.
View Call for Papers & Detailed Topics
Register here Registration is free but mandatory before June 8, 2026.
Schedule
| Time Slot | Wednesday (17/06) | Thursday (18/06) | Friday (19/06) |
|---|---|---|---|
| 09:00 - 10:30 | 3 talks | 3 talks | |
| 10:30 - 11:00 | Coffee Break | Coffee Break | Coffee Break |
| 11:00 - 12:30 | 3 talks | 3 talks | 3 talks |
| 12:30 - 14:00 | Lunch Break | Lunch Break | Lunch Break |
| 14:00 - 15:30 | 3 talks | 3 talks | 3 talks |
| 15:30 - 16:00 | Coffee Break | Coffee Break | |
| 16:00 - 16:30 | 3 talks | 1 talk | |
| 16:30 - 17:30 | Business Meeting |
Accepted Talks
- What are quantum measurable spaces? Tobias Fritz and Antonio Lorenzin.
- Resource-Aware Quantum Programming with General Recursion and Quantum Control. Thomas Vinet, Kostia Chardonnet, Emmanuel Hainry, and Romain Péchoux.
- Basis-Sensitive Quantum Typing via Realizability. Alejandro Díaz-Caro, Octavio Malherbe, and Rafael Romero.
- Quantum Control and General Recursion beyond the Unitary Case. Kathleen Barsse, Romain Péchoux, and Simon Perdrix.
- An Algebraic Extension of Intuitionistic Linear Logic: the L-S-!-Calculus and Its Categorical Model. Alejandro Díaz-Caro, Malena Ivnisky, and Octavio Malherbe.
- Quantum Coherence Spaces Revisited: A von Neumann (Co)Algebraic Approach. Thea Li and Vladimir Zamdzhiev.
- Higher-order circuits. Matt Wilson.
- Higher-order quantum objects are strong profunctors. Matt Wilson and James Hefford.
- BV-Categories of Spacetime Interventions. Matt Wilson and James Hefford.
- Static Resource Analysis of Hybrid Programs with Unbounded Loops. Jad Issa, Christophe Chareton, and Romain Péchoux.
- Higher order maps in operational probabilistic theories. Alessandro Bisio, Luca Apadula, Marco Erba, and Paolo Perinotti.
- Denotational semantics for stabiliser quantum programs. Robert Booth and Cole Comfort.
- Graphical Algebraic Geometry: From Ideals and Varieties to Qudit ZH Completeness. Dichuan Gao, Razin A. Shaikh, and Aleks Kissinger.
- Quantum Bayesian Networks: Compositionality and Typing via Linear Logic. Rémi Di Guardia, Thomas Ehrhard, and Claudia Faggian.
- One rig to control them all. Chris Heunen, Robin Kaarsgaard, and Louis Lemonnier.
- Towards a New Logic for Higher Order Quantum Computation. Julien Lamiroy.
- Programming with Quantum-Controlled Quantum Channels. Kengo Hirata and Takeshi Tsukada.
- Finite Observations, Infinite Behaviour: categorical semantics for stateful quantum processes. Cole Comfort and Giovanni de Felice.
- Noncommutative models of quantum computing. Bert Lindenhovius.
- Completeness Is Not Enough: Simpler Presentations and Minimality for Near-Clifford Circuit Fragments. Colin Blake.
- A Complete and Natural Rule Set for Multi-Qudit Clifford Circuits in All Odd Prime Dimensions. Xiaoning Bian, Sarah Meng Li, Neil J. Ross, John van de Wetering, and Yuming Zhao.
- Quantum instruments are a quantum effect monad. Robert I. Booth, Dominik Leichtle, Alex Rice and Kim Worrall.
- Polynomial Spectral Semantics for Magic-State Distillation. Dongho Lee.
- Quantum Programming in Polylogarithmic Time. Florent Ferrari, Emmanuel Hainry, Romain Péchoux, and Mário Silva.
- Towards Quantum Inference on Higher-Order Bayesian Networks. Jérôme Evrard, Claudia Faggian, Giacomo Gatti, and Gabriele Vanoni.
- Structure and geometry complete completeness. Chris Heunen, Nicolas Heurtel, Robin Kaarsgaard, and Louis Lemonnier.
- Symbolic Verification of Quantum Protocols via Quantum Distributions – Early Ideas. Gabriele Tedeschi, Lorenzo Ceragioli, Giuseppe Lomurno, and Fabio Gadducci.
- Operator Spaces, Linear Logic and the Heisenberg-Schrödinger Duality of Quantum Theory. Bert Lindenhovius and Vladimir Zamdzhiev.
Venue
Inria de Paris
Auditorium Jacques-Louis Lions (Building A, ground floor)
48 Rue Barrault, Paris
Information on access, accommodation and local logistics will be added later.
Organisers and PC Chairs
Program Committee
- Kostia Chardonnet
- Ugo Dal Lago
- Kinnari Dave
- Alejandro Díaz-Caro
- Claudia Faggian
- Emmanuel Hainry
- Chris Heunen
- Octavio Malherbe
- Romain Péchoux
- Peter Selinger
- Sam Staton
- Takeshi Tsukada
- Benoît Valiron
- Vladimir Zamdzhiev