POPL 2026
Sun 11 - Sat 17 January 2026 Rennes, France

This program is tentative and subject to change.

Mon 12 Jan 2026 16:30 - 16:50 at Salle 14 - Session 4

We present an algorithm turning any term of a linear quantum $\lambda$-calculus into a quantum circuit. The essential ingredient behind the proposed algorithm is Girard’s geometry of interaction, which, differently from its well-known uses from the literature, is here leveraged to perform as much of the \emph{classical} computation as possible, while producing a circuit that, when executed, performs all the \emph{quantum} operations in the underlying $\lambda$-term. Noticeably, we identify a class of terms which can be compiled without an exponential blowup, which is encountered when using plain operational semantics.

Extended Abstract (planqc26-paper13.pdf)437KiB

This program is tentative and subject to change.

Mon 12 Jan

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

16:00 - 17:30
Session 4PLanQC at Salle 14
16:00
30m
Poster SessionPoster
PLanQC

16:30
20m
Talk
Compiling Quantum Lambda-Terms into Circuits via the Geometry of InteractionTalk
PLanQC
Kostia Chardonnet Université de Lorraine, CNRS, Inria, LORIA, Ugo Dal Lago University of Bologna; Centre Inria d’Université Côte d’Azur, Naohiko Hoshino Sojo University, Paolo Pistone Université Claude Bernard Lyon 1
File Attached
16:50
20m
Talk
Towards a Hierarchical Quantum Circuit LanguageTalk
PLanQC
William Schober Università della Svizzera italiana, Scott Wesley Dalhousie University
File Attached
17:10
20m
Talk
Denotational semantics for stabiliser quantum programsTalk
PLanQC
Robert I. Booth University of Oxford, Cole Comfort INRIA Paris-Saclay
File Attached
Hide past events