3-7 Jul 2017
Nijmegen, The Netherlands
CALL FOR PARTICIPATION The 14th International Conference on Quantum Physics and Logic (QPL) July 3-7, 2017 Radboud Universiteit, Nijmegen, Netherlands DETAILS AND LIST OF ACCEPTED PAPERS AVAILABLE AT: http://qpl.cs.ru.nl EARLY BIRD REGISTRATION DEADLINE: June 10, 2017 * * * We warmly invite you to take part in the 14th International Conference on Quantum Physics and Logic (QPL), which will take place at Radboud University between Monday 3 and Friday 7 July, 2017. 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. Previous QPL events were held in Glasgow (2016), Oxford (2015), Kyoto (2014), Barcelona (2013), Brussels (2012), Nijmegen (2011), Oxford (2010), Oxford (2009), Reykjavik (2008), Oxford (2006), Chicago (2005), Turku (2004), and Ottawa (2003). REGISTRATION IS NOW OPEN! Find registration details via the QPL 2017 website or register directly at: https://rudigitalsecurity.paydro.com/qpl-2017 SATELLITES There will be a satellite workshop on Quantum Structures hosted by the International Quantum Structures Association (IQSA) from Tuesday July 4th to Thursday the 6th. See the QPL website for more information. JOINT QPL-IQSA INVITED SPEAKER Miriam Backens (Bristol) QPL INVITED SPEAKERS Matthias Christandl (Copenhagen) Miguel Navasques (Vienna) Paulo Perinotti (Pavia) Jamie Vicary (Oxford) IQSA INVITED SPEAKERS Guido Bacciagaluppi (Utrecht) Hans Maassen (Radboud/Amsterdam) QPL INVITED TUTORIALS Bart Jacobs (Radboud) - Effectus Theory Dan Marsden (Oxford) - Categorical String Diagrams Simon Perdrix (LORIA) - Measurement-based Quantum Computation Ronald de Wolf (CWI) - Quantum Algorithms PROGRAMME COMMITTEE Aleks Kissinger (Radboud, co-chair) Bob Coecke (Oxford, co-chair) Samson Abramsky (Oxford) Miriam Backens (Bristol) John Baez (UC Riverside) Benno van den Berg (Amsterdam) Rick Blute (Ottawa) Dan Browne (University College London) Giulio Chiribella (Hong Kong) Ross Duncan (Strathclyde) Simon Gay (Glasgow) Chris Heunen (Edinburgh) Matty Hoban (Oxford) Dominic Horsman (Durham) Bart Jacobs (Radboud) Kohei Kishida (Oxford) Joachim Kock (Barcelona) Matt Leifer (Chapman) Hans Maassen (Radboud) Paul-Andre Mellies (Paris Diderot) Michael Moortgat (Utrecht) Daniel Oi (Strathclyde) Prakash Panangaden (McGill) Dusko Pavlovic (Hawaii) Simon Perdrix (CNRS Nancy) Paolo Perinotti (Pavia) Robert Raussendorf (British Columbia) Lidia del Rio (ETH Zurich) Ana Belen Sainz (Perimeter Institute) Peter Selinger (Dalhousie) Pawel Sobocinski (Southampton) Rob Spekkens (Perimeter Institute) Isar Stubbe (Littoral-Cote-d'Opale) Benoit Valiron (Paris-Sud) Jamie Vicary (Oxford) Mingsheng Ying (UT Sydney) STEERING COMMITTEE Bob Coecke (Oxford) Prakash Panangaden (McGill) Peter Selinger (Dalhousie) LOCAL ORGANISATION Bart Jacobs Aleks Kissinger Sander Uijlen -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam