FINAL CALL FOR PARTICIPATION 15th International Conference on Quantum Physics and Logic (QPL 2018) June 3-7, 2018 Halifax, Canada https://www.mathstat.dal.ca/qpl2018/ IMPORTANT DEADLINE COMING UP IN 2 DAYS: *** May 15 *** - early registration deadline. * * * The 15th International Conference on Quantum Physics and Logic (QPL 2018) will take place at Dalhousie University June 3-7, 2018. The conference brings together researchers working on mathematical foundations of quantum physics, quantum computing, and related areas, with a focus on structural perspectives and the use of logical tools, ordered algebraic and category-theoretic structures, formal languages, semantical methods, and other computer science techniques applied to the study of physical behaviour in general. Work that applies structures and methods inspired by quantum theory to other fields (including computer science) is also welcome. QPL 2018 will be co-located with the 34th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2018), which takes place from June 6-9. REGISTRATION AND LOCAL INFORMATION The early registration deadline is May 15. The registration fees are as follows: * Regular participants: $100 (QPL only) or $120 (QPL and MFPS). * Students: $60 (QPL only) or $80 (QPL and MFPS). * After May 15: registration fees increase by $10. Please register at http://stay.dal.ca/KxRegistration/QPLMFPS18 There will be a joint QPL/MFPS conference dinner on Wednesday, June 6. Dinner tickets can be purchased on the registration page. You can also buy additional dinner tickets for any guests. Please see the conference website for a list of some hotels and other accommodation choices. TRAVEL TO CANADA Most foreign nationals now need an electronic travel authorization before flying to Canada. This applies to all visa-exempt foreign nationals (for example, European citizens). It only costs $7 and can be done efficiently at the eTA website (see the conference website for a link). The eTA requirement does not apply to U.S. citizens, nor to visitors who need an actual visa to travel to Canada. INVITED SPEAKERS Dominic Horsman (University of Grenoble) Debbie Leung (University of Waterloo) Neil J. Ross (Dalhousie University) Robert Spekkens (Perimeter Institute) TUTORIALS Teiko Heinosaari (University of Turku): "Compatibility of Quantum Measurements and Channels" Ciaran Lee (University College London): "Computation in General Probabilistic Theories" ACCEPTED TALKS Samson Abramsky, Rui Soares Barbosa, Nadish de Silva and Octavio Zapata: "The quantum monad: towards quantum finite model theory" Matthew Amy: "Towards large-scale functional verification of universal quantum circuits" Albert Atserias, Laura Mancinska, David Roberson, Robert Samal, Simone Severini and Antonios Varvitsiotis: "Quantum inspired relaxations of graph isomorphism" Miriam Backens and Aleks Kissinger: "ZH" A complete graphical calculus for quantum computations involving classical non-linearity: Spencer Breiner, Amir Kalev and Carl Miller: "Three-party quantum self-testing with a proof by diagrams" Giovanni Caru: "Towards a cohomology invariant for non-locality and contextuality" Giulio Chiribella: "Agents, subsystems, and the conservation of information (extended abstract)" Robin Cockett and Cole Comfort: "The category TOF" Cristhiano Duarte, Raphael Drumond and Roberto Oliveira: "Small violations of Bell inequalities for multipartite pure random states" Andrew Fagan and Ross Duncan: "Optimising Clifford circuits with quantomatic" Robert Furber: "Categorical equivalences from state-effect adjunctions" Thomas Galley and Lluis Masanes: "Impossibility of mixed-state purification in any alternative to the Born rule" Fabrizio Romano Genovese and Jelle Herold: "Executions in integral Petri nets are compact closed categories" Andrew N. Glaudell, Neil J. Ross and Jacob M. Taylor: "Canonical forms for single-qutrit Clifford+T operators" Stefano Gogioso: "Higher-order CPM constructions" Stefano Gogioso and Fabrizio Romano Genovese: "Quantum field theory in categorical quantum mechanics" Stefano Gogioso, Dan Marsden and Bob Coecke: "Symmetric monoidal structure with local character is a property" Tomas Gonda, Ravi Kunjwal, David Schmid, Elie Wolfe and Ana Belen Sainz: "Almost quantum correlations are inconsistent with Specker's principle" Stan Gudder: "Contexts in convex effect algebras" Amar Hadzihasanovic, Giovanni de Felice and Kang Feng Ng: "A diagrammatic axiomatisation of fermionic quantum circuits" John Harding, Chris Heunen, Bert Lindenhovius and Mirko Navara: "Boolean subalgebras of orthoalgebras" Chris Heunen and Martti Karvonen: "Limits in dagger categories" Matty Hoban and Ana Belen Sainz: "A channel-based framework for steering, non-locality and beyond" Bart Jacobs: "Lower and upper conditioning in quantum Bayesian theory" Emmanuel Jeandel, Simon Perdrix and Renaud Vilmart: "Diagrammatic reasoning beyond Clifford+T quantum mechanics" Martti Karvonen: "Categories of empirical models" Ravi Kunjwal: "Beyond the CSW framework: a hypergraph-theoretic framework for Spekkens contextuality" Niklas Johansson and Jan-ake Larsson: "Efficient classical simulation of some quantum algorithms" Bert Lindenhovius, Michael Mislove and Vladimir Zamdzhiev: "Enriching a linear/non-linear lambda calculus: a programming language for string diagrams" Martino Lupini, Laura Mancinska and David Roberson: "Nonlocal games and quantum permutation groups" Benjamin Musto and Jamie Vicary: "Orthogonality for quantum Latin isometry squares" Kang Feng Ng and Quanlong Wang: "A universal completion of the ZX calculus" Nuriya Nurgalieva and Lidia Del Rio: "Inadequacy of modal logic in quantum settings" Robert Rand, Jennifer Paykin, Dong-Ho Lee and Steve Zdancewic: "ReQWIRE: Reasoning about reversible quantum circuits" Jonathan Richens, John Selby and Sabri Al-Safi: "Entanglement is necessary for emergent classicality in all physical theories" Ana Belen Sainz, Yelena Guryanova, Antonio Acin and Miguel Navascues: "Almost quantum correlations violate the no-restriction hypothesis" David Schmid and Robert Spekkens: "Contextual advantage for state discrimination" John Selby, Carlo Maria Scandolo and Bob Coecke: "Reconstructing quantum theory from diagrammatic postulates" John Selby and Jamie Sikora: "Cone programs and generalised probabilistic theories" Mathieu Huot and Sam Staton: "Categorical universal properties in quantum theory" Sean Tull: "A categorical reconstruction of quantum theory" Dominique Unruh: "Quantum relational Hoare logic" Renaud Vilmart: "A ZX-calculus with triangles for Toffoli-Hadamard, Clifford+T, and beyond" Abraham Westerbaan, Bas Westerbaan and John van de Wetering: "Pure maps between Euclidean Jordan algebras" John van de Wetering: "Extended abstract: Sequential measurement characterises quantum theory" SPECIAL SESSION There will be a joint special session with MFPS 2018 on quantum programming languages. The speakers will be Neil J. Ross (Dalhousie), Craig Gidney (Google), Vadym Kliuchnikov (Microsoft), Jennifer Paykin (U. Penn), and Benoit Valiron (U. Paris-Saclay). PROGRAM COMMITTEE Giulio Chiribella (University of Oxford, co-chair) Peter Selinger (Dalhousie University, co-chair) Samson Abramsky (University of Oxford) Antonio Acin (Institute of Photonic Sciences) Richard Blute (University of Ottawa) Anne Broadbent (University of Ottawa) Dan Browne (University College London) Bob Coecke (University of Oxford) Ross Duncan (University of Strathclyde) Teiko Heinosaari (University of Turku) Chris Heunen (University of Edinburgh) Matthew Hoban (University of Oxford) Dominic Horsman (University of Durham) Bart Jacobs (Radboud University) Kohei Kishida (Dalhousie University) Aleks Kissinger (Radboud University) Joachim Kock (Universitat Autonoma Barcelona) Ciaran Lee (University College London) Matt Leifer (Chapman University) Martha Lewis (University of Amsterdam) Paul-Andre Mellies (CNRS, Universite Paris Diderot) Mio Murao (University of Tokyo) Daniel Oi (University of Strathclyde) Ognyan Oreshkov (Universite Libre de Bruxelles) Prakash Panangaden (McGill University) Anna Pappa (University of Edinburgh) Dusko Pavlovic (University of Hawaii) Simon Perdrix (CNRS, University of Grenoble) Paolo Perinotti (Universita di Pavia) Neil J. Ross (Dalhousie University) Ana Belen Sainz (Perimeter Institute) Pawel Sobocinski (University of Southampton) Robert Spekkens (Perimeter Institute) Isar Stubbe (Universite du Littoral) Benoit Valiron (Universite Paris-Saclay) Jamie Vicary (University of Oxford) Mingsheng Ying (University of Technology Sydney) Margherita Zorzi (Universita di Verona) STEERING COMMITTEE Bob Coecke (University of Oxford) Prakash Panangaden (McGill University) Peter Selinger (Dalhousie University) LOCAL ORGANIZERS Neil J. Ross (Dalhousie University) Peter Selinger (Dalhousie University) * For further information, please contact qpl2018@easychair.org. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]