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.

Topics of Interest

Topics include, but are not limited to:

• Mathematical and logical methods for quantum computation
• Interactions between quantum information theory and logic
• Type systems for quantum programming languages
• Models of quantum computation: lambda calculi, term rewriting systems, process calculi, etc.
• Denotational, operational, and categorical semantics of languages/logics for quantum computing
• Logics for verification and reasoning about quantum programs and protocols
• Realisability, game semantics, and algebraic models for quantum systems
• Formal methods for quantum and hybrid quantum–classical systems
• Mathematical and logical aspects of quantum cryptography

If in doubt about the suitability of your submission, feel free to contact the organisers.

Important Dates

• Submission deadline: Friday, 20 March 2026
• Notification: Monday, 20 April 2026
• Workshop: 17–19 June 2026

(All deadlines are Anywhere on Earth.)

Submission Information

The submission site is available here.

We invite submissions of extended abstracts describing original work, work in progress, or results recently published elsewhere that are relevant to the LIQCS community.

• Submissions should be in PDF format, 2-5 pages in length (excluding bibliography).
• Appendices or links to longer documents are welcome, but the reviewers are not obliged to read them.
• All submissions will be reviewed by the Program Committee for quality and relevance.
• Accepted contributions must be presented as talks during the workshop.
• Although there are no formal proceedings, we will publish the extended abstracts on the website.

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.

Programme

TBA

Organisers and PC Chairs

• Alejandro Díaz-Caro
• Romain Péchoux
• Benoît Valiron
• Vladimir Zamdzhiev

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