QPL 2018 call for participation - registration deadline

QPL 2018 call for participation - registration deadline

[Peter Selinger]

 		     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/ ]