From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10038 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Joachim Kock Newsgroups: gmane.science.mathematics.categories Subject: Quantum Physics and Logics (QPL 2020), June 1-5, Paris-Saclay Date: Thu, 31 Oct 2019 19:24:48 +0100 Message-ID: Reply-To: Joachim Kock Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8"; format=flowed Content-Transfer-Encoding: 8BIT Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="267755"; mail-complaints-to="usenet@blaine.gmane.org" To: Original-X-From: majordomo@rr.mta.ca Mon Nov 04 02:07:25 2019 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp2.mta.ca ([198.164.44.55]) by blaine.gmane.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1iRQq5-0017UW-C0 for gsmc-categories@m.gmane.org; Mon, 04 Nov 2019 02:07:25 +0100 Original-Received: from rr.mta.ca ([198.164.44.159]:34166) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1iRQoX-00036b-05; Sun, 03 Nov 2019 21:05:49 -0400 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1iRQo5-0001E5-9Y for categories-list@rr.mta.ca; Sun, 03 Nov 2019 21:05:21 -0400 Content-Language: en-US Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:10038 Archived-At: 17th International Conference on Quantum Physics and Logic (QPL 2020) June 1-5th, 2020. Paris-Saclay, France. CALL FOR PAPER The conference brings together researchers working on the mathematical foundations of quantum physics, quantum computing, and related areas, with a focus on structural perspectives and the use of logical tools, category-theoretic structures, formal languages, semantic 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 2020 will be co-located with the 36th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2020). Our sponsors are : Atos, INRIA-Saclay, QuantFi. Invited Speakers L??dia del Rio (ETH Zurich) Cyril Branciard (U. Grenoble-Alpes) Alexandre Miquel (U. de la Rep., Montevideo) Quanlong Wang (U. of Oxford) John Selby (Perimeter Institute, Waterloo) Important dates Fri March 6: abstract submission Fri March 13: paper submission Sun April 19: notification of authors Tue April 21: application for student support Thu May 7: early registration deadline Fri May 15: final papers ready June 1-5: conference Submission Guidelines Prospective speakers are invited to submit one (or more) of the following: * Original contributions consist of a 5-12 page extended abstract that provides sufficient evidence of results of genuine interest and enough detail to allow the program committee to assess the merits of the work. Submission of substantial albeit partial results of work in progress is encouraged. * Extended abstracts describing work submitted/published elsewhere will also be considered, provided the work is recent and relevant to the conference. These consist of a 3 page description and should include a link to a separate published paper or preprint. The conference proceedings will be published in Electronic Proceedings in Theoretical Computer Science (EPTCS) after the conference. Only "original contributions" are eligible to be published in the proceedings. Submissions should be prepared using LaTeX, and must be submitted in PDF format. Use of the EPTCS style is encouraged. Submission is done via EasyChair: https://www.easychair.org/conferences/?conf=qpl2020 There will be an award for the best student paper at the discretion of the programme committee. Papers eligible for the award are those where all the authors are students at the time of submission. Committees Program Committee Pablo Arrighi (AMU & INRIA ??? PC co-chair) Miriam Backens (University of Birmingham) Jon Barrett (University of Oxford) Dan Browne (University College London) Giulio Chiribella (University of Hong Kong and University of Oxford) Bob Coecke (University of Oxford) Alejandro Diaz-Caro (ICC - CONICET, UBA, & Universidad Nacional de Quilmes) Simon Gay (University of Glasgow) Stefano Gogioso (University of Oxford) Matthew Hoban (Goldsmiths London) Dominic Horsman (Universit?? Grenoble Alpes) Joachim Kock (UAB) Martha Lewis (University of Amsterdam) Dan Marsden (University of Oxford) Simon Martiel (ATOS Quantum) Michael Moortgat (Utrecht University) Ognyan Oreshkov (Universit?? Libre de Bruxelles) Prakash Panangaden (McGill University ??? PC co-chair) Anna Pappa (Dahlem Center for Complex Quantum Systems, Freie U. Berlin). Simon Perdrix (CNRS / Universit?? de Lorraine) Paolo Perinotti (Universit?? di Pavia) Neil Ross (Dalhousie University) Ana Bel??n Sainz (ICTQT - University of Gdansk) Mehrnoosh Sadrzadeh (University College London) Pawel Sobocinski (Tallinn University of Technology) Isar Stubbe (Universit?? du Littoral) Beno??t Valiron (U. Paris Saclay ??? PC co-chair) Jamie Vicary (University of Oxford and University of Birmingham) Alexander Wilce (Susquehanna University) Margherita Zorzi (University of Verona) Magdalena Anna Zych (The University of Queensland) Yuan Feng (University of Technology Sydney) Organizing committee Pablo Arrighi Beno??t Valiron [For admin and other information see: http://www.mta.ca/~cat-dist/ ]