Program
Detailed program
Monday  
9:30  10:00  Accreditation 

10:00  10:30  Breakfast  
Session chair: Ana Belen Sainz • Room: 1401  
10:30  11:00 
Zixuan Liu and Giulio Chiribella Tsirelson bounds for quantum correlations with indefinite causal order 

Short break to change room  
Session chair: Simon Perdrix • Room: 1401  Session chair: Ariel Bendersky • Room: 1402  
11:15  11:45 
Hector Bombin, Daniel Litinski, Naomi Nickerson, Fernando Pastawski, and Sam Roberts Unifying flavors of fault tolerance with the ZX calculus 🎬

Kathleen Barsse, Paolo Perinotti, Alessandro Tosini, and Leonardo Vaglini Causal influence versus signalling for interacting quantum channels 

11:45  12:15 
Aleks Kissinger and John van de Wetering Scalable spider nests (...or how to graphically grok transversal nonClifford gates) 
Maarten Grothus and V. Vilasini Characterizing Signalling: Connections between Causal Inference and Spacetime Geometry 🎬


12:15  14:00  Lunch  
Session chair: Nadish da Silva • Room: 1401  Session chair: John van de Wetering • Room: 1402  
14:00  14:30 
Marco Erba, David Schmid, John Selby, and Sina Soltani A noncontextual ontological model for bilocal classical theory 🎬

James Hefford and Matt Wilson A Profunctorial Semantics for Quantum Supermaps 

14:30  15:00 
Samson Abramsky, Serban Cercelescu, and Carmen Maria Constantin Commutation Groups and StateIndependent Contextuality 
Robert Allen and Dominic Verdon CPinfinity and beyond: 2categorical dilation theory 🎬


15:00  15:30 
Lorenzo Catani, Thomas Galley, and Tomáš Gonda ResourceTheoretic Hierarchy of Contextuality for General Probabilistic Theories 
Alexander Wilce Compounding and CoarseGraining as Monads 

15:30  16:00 
Amy Searle, Rui Soares Barbosa, and Samson Abramsky Mapping temporal correlations to contextuality correlations 
Urs Schreiber Topological Quantum Programming via Linear Homotopy Types 

16:00  16:30  Coffee break  
Session chair: Lorenzo Catani • Room: 1401  Session chair: Frank Fu • Room: 1402  
16:30  17:00 
Uta Meyer, Ivan Supic, Frédéric Grosshans, and Damian Markham Bell Nonlocality from Wigner Negativity in Qudit Stabilizer States 
Alejandro DíazCaro, Gilles Dowek, and Octavio Malherbe From linear logic to quantum control 

17:00  17:30 
Michael Zurel and Arne Heimendahl Efficient classical simulation of quantum computation beyond Wigner positivity 
Kinnari Dave, Louis Lemonnier, Romain Pechoux, and Vladimir Zamdzhiev Combining Quantum and Classical Control 🎬


17:30  18:00 
Shiv Akshar Yadavalli, Nikola Andrejić, and Ravi Kunjwal Qualitative equivalence between incompatibility and Bell nonlocality 🎬

Emmanuel Hainry, Romain Péchoux, and Mário Silva A Programming Language Characterizing Quantum Polynomial Time 

Tuesday  
9:30  10:00  Breakfast  
Session chair: Aleks Kissinger • Room: 1401  
10:00  10:30 
Alexandre Clément, Noé Delorme, and Simon Perdrix Minimal Equational Theories for Quantum Circuits 

10:30  11:00 
Andrew N. Glaudell, Neil J. Ross, John van de Wetering, and Lia Yeh Exact Synthesis of Multiqutrit Cliffordcyclotomic Circuits 

Short break to change room  
Session chair: Alexandre Clément • Room: 1401  Session chair: Matty Hoban • Room: 1402  
11:15  11:45 
MinHsiu Hsieh, Leandro Mendes, Michael de Oliveira, and Sathyawageeswar Subramanian Quantum Circuits surpass Biased Threshold Circuits in ConstantDepth 
Haruki Emori and Hiroyasu Tajima Error and Disturbance as Irreversibility with Applications: Unified Definition, Wigner–Araki–Yanase Theorem and OutofTimeOrder Correlator 

11:45  12:15 
F. J. R. Ruiz, T. Laakkonen, J. Bausch, M. Balog, M. Barekatain, F. J. H. Heras, A. Novikov, N. Fitzpatrick, B. RomeraParedes, J. van de Wetering, A. Fawzi, K. Meichanetzidis, and P. Kohli Quantum Circuit Optimization with AlphaTensor 
Shuyang Meng, Fionnuala Curran, Gabriel Senno, Victoria J. Wright, Máté Farkas, Valerio Scarani, and Antonio Acín Maximal intrinsic randomness of a quantum state 

12:15  14:00  Lunch  
Session chair: John Selby • Room: 1401  Session chair: Peter Selinger • Room: 1402  
14:00  14:30 
Yìlè Yīng, Marina Maciel Ansanelli, Andrea Di Biagio, Elie Wolfe, and Eric Gama Cavalcanti Relating Wigner's Friend Scenarios to Nonclassical Causal Compatibility, Monogamy Relations, and Fine Tuning 
John van de Wetering, Richie Yeung, Tuomas Laakkonen, and Aleks Kissinger Optimal compilation of parametrised quantum circuits 

14:30  15:00 
David Schmid, Yìlè Ying, and Matthew Leifer A review and analysis of six extended Wigner's friend arguments 
Matthew Amy, Neil J. Ross, and Scott Wesley A Sound and Complete Equational Theory for 3qubit ToffoliHadamard Circuits 

15:00  15:30 
Massy Khoshbin, Lorenzo Catani, and Matthew Leifer Alternative robust ways of witnessing nonclassicality in the simplest scenario 
Aleks Kissinger, Neil J. Ross, and John van de Wetering Catalysing Completeness and Universality 

15:30  15:35  *** QPL 2024 Group Photo ***  
15:35  16:00  Coffee break  
Area in front of rooms 1401 and 1402  
16:00  18:00 
Poster session 

Wednesday  
9:30  10:00  Breakfast  
Session chair: Robert Rand • Room: 1401  
10:00  10:30 
Léo Colisson, Damian Markham, and Raja Yehia All graph state verification protocols are composably secure 

10:30  11:00 
Quanlong Wang, Boldizsár Poór, and Razin A. Shaikh Completeness of qufinite ZXW calculus, a graphical language for finitedimensional quantum theory 

Short break to change room  
Session chair: Ross Duncan • Room: 1401  Session chair: Alejandro DíazCaro • Room: 1402  
11:15  11:45 
Jay Owers, Ekaterina Shutova, and Martha Lewis Density Matrices for Metaphor Understanding 🎬

Martin Avanzini, Georg Moser, Romain Péchoux, and Simon Perdrix On the Hardness of Analyzing Quantum Programs Quantitatively 

11:45  12:15 
Tuomas Laakkonen, Konstantinos Meichanetzidis, and Bob Coecke Compositional Quantum Algorithms for Text Processing 
Adrian Lehmann, Ben Caldwell, Bhakti Shah, and Robert Rand VyZX: Formal Verification of a Graphical Quantum Language with automated structural rewrites 

12:15  14:00  Lunch  
14:00  15:00  
15:00  18:30 
Excursion to Delta de Tigre 

18:30  22:30 
Bar at Puerto Madero 

Thursday  
9:30  10:00  Breakfast  
Session chair: Matt Wilson • Room: 1401  
10:00  10:30 
Tuomas Laakkonen, Konstantinos Meichanetzidis, and John van de Wetering A Graphical #SAT Algorithm for Formulae with Small Clause Density 

10:30  11:00 
Pieter Claeys, Austen Lamacraft, and Jamie Vicary From dualunitary to biunitary: a 2categorical model for exactlysolvable manybody quantum dynamics 

Short break to change room  
Session chair: Rui Soares Barbosa • Room: 1401  Session chair: Carmen Constantin • Room: 1402  
11:15  11:45 
Nick Ormrod and Jonathan Barrett Quantum Influences and Event Relativity 🎬

Daniel McNulty, Susane Calegari, Joanna Majsak, and Michał Oszmaniec A Simple and Efficient Joint Measurement Strategy for Estimating NonCommuting Fermionic Observables and Hamiltonians 

11:45  12:15 
Tool presentationNadish de Silva, Wilfred Salmon, and Ming YinFast algorithms for classical specifications of stabiliser states and Clifford gates 
Danilo Fucci and Renato Angelo TheoryIndependent Realism 🎬


12:15  14:00  Lunch  
Session chair: James Hefford • Room: 1401  Session chair: Robert Booth • Room: 1402  
14:00  14:30 
Nadish de Silva and Imin Chen Characterising semiClifford gates using algebraic sets 
Samson Abramsky, Rui Soares Barbosa, and Amy Searle Combining Contextuality and Causality: a game semantics approach 

14:30  15:00 
Marco Erba, Paolo Perinotti, Davide Rolino, and Alessandro Tosini A minimalist approach to operational theories 
Stefano Gogioso and Nicola Pinzani Local fraction in Static Causal Orders 

15:00  15:30 
Matt Wilson and Nick Ormrod On the Origin of Linearity and Unitarity in Quantum Theory 
Shashaank Khanna, Marina Maciel Ansanelli, Matthew Pusey, and Elie Wolfe Classifying Causal Structures: Ascertaining when Classical Correlations are Constrained by Inequalities 

15:30  16:00  Coffee break  
Room: 1402  
16:00  16:30 
Industrial sessionQuantinuum  Ross Duncan • Technology Innovation Institute  Ariel Bendersky • Quandela  Nicolas Heurtel 

16:30  18:00  QPL General Meeting 

18:00  20:00  
20:00  22:30 
Conference dinner at Galidon  
Friday  
9:30  10:00  Breakfast  
Session chair: Giovanni de Felice • Room: 1401  
10:00  10:30 
Best Student Paper Award WinnerNicolas HeurtelA Complete Graphical Language for Linear Optical Circuits with FinitePhotonNumber Sources and Detectors 

10:30  11:00 
Vivien Vandaele Qubitcount optimization using ZXcalculus 

Short break to change room  
Session chair: Cole Comfort • Room: 1401  Session chair: Romain Péchoux • Room: 1402  
11:15  11:45 
Korbinian Staudacher, Ludwig Schmid, Johannes Zeiher, Robert Wille, and Dieter Kranzlmüller Multicontrolled Phase Gate Synthesis with ZXcalculus applied to Neutral Atoms Hardware 
Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, and Gabriele Tedeschi Effect Semantics for Quantum Process Calculi 🎬


11:45  12:15 
Giovanni de Felice, Boldizsár Poór, and Lia Yeh Fusion and flow: formal protocols to reliably build photonic graph states 
Amin Karamlou and Nihil Shah First Steps in Quantum Finite Model Theory 

12:15  14:00  Lunch  
Session chair: Barbara Amaral • Room: 1401  Session chair: Tuomas Laakkonen • Room: 1402  
14:00  14:30 
Farid Shahandeh, Theodoros Yianni, and Mina Doosti Contextuality of Cloning via Dimensional Witnesses 
Dichuan Gao The Qudit ZH Calculus for Arbitrary Finite Fields: Universality and Application 🎬


14:30  15:00 
Raman Choudhary, Rui Soares Barbosa, and Adán Cabello Lifting noncontextuality inequalities 
Matthew Sutcliffe and Aleks Kissinger Procedurally Optimised ZXDiagram Cutting for Efficient TDecomposition in Classical Simulation 

15:00  15:30 
Cihan Okay and Walker Stern Twisted simplicial distributions 
Robert Booth, Titouan Carette, and Cole Comfort A graphical language for Gaussian quantum processes 

15:30  16:00 
Boseong Kim and Samson Abramsky State Independence of Quantum Contextuality on a Pauli Abelian Partial Group 
Piotr Mitosek Pauli flow on open graphs with unknown measurement labels 

16:00  16:30  Coffee break  
Session chair: Federico Holik • Room: 1401  Session chair: Ignacio Perito • Room: 1402  
16:30  17:00 
Albert Aloy, Thomas Galley, Caroline Jones, Stefan Ludescher, and Markus Müller Spinbounded correlations: rotation boxes within and beyond quantum theory 
Jacopo Surace A theory of Inaccessible Information 🎬


17:00  17:30 
Eleftherios Tselentis and Ämin Baumeler The Mobius game and other Bell test for relativity 🎬

Satoshi Yoshida, Akihito Soeda, and Mio Murao Optimal protocols for universal adjointation of isometry operations 

17:30  18:00 
Lorenzo Giannelli and Giulio Chiribella Informationtheoretic derivation of energy and speed bounds 