[TYPES/announce] Final Call for Papers + Deadline extension: QPL 2017

Aleks Kissinger aleks0 at gmail.com
Thu Apr 20 11:40:21 EDT 2017


         FINAL CALL FOR PAPERS + EXTENDED DEADLINE

             The 14th International Conference on
              Quantum Physics and Logic (QPL)

                    July 3-7, 2017
      Radboud Universiteit, Nijmegen, Netherlands

                  http://qpl.cs.ru.nl

Due to a large number of requests, we have extended the deadline for
both original contributions and extended abstracts. We ask that
authors wishing to send a paper or extended abstract please submit
a title and short abstract via Easychair by the original deadline.

  - ABSTRACT SUBMISSION DEADLINE: 21 April, 2017 (tomorrow!)
  - PAPER SUBMISSION DEADLINE: 28 April, 2017 (extended)

                            *   *   *

The 14th International Conference on Quantum Physics and Logic (QPL)
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 Friday the 7th. 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



IMPORTANT DATES

Abstract Submission: 21 April, 2017
Paper Submission: 28 April, 2017 (extended)
Notification: 29 May
Papers ready: 23 June
Conference: 3-7 July

All deadlines are at 23:59, Anywhere on Earth (UTC-12).

SUBMISSIONS

Prospective speakers are invited to submit a contribution to the
conference.

 - Original contributions consist of a 5-12 page extended abstract
   which 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. Authors of accepted
   papers will be invited to give long or short talks, depending on
   the quality and/or maturity of the submission.

 - 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.


Extended versions of accepted original research contributions will be
published in Electronic Proceedings in Theoretical Computer Science
(EPTCS) after the conference.

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=qpl2017

There will be an award for the best paper whose authors are all
students, at the discretion of the programme committee.


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


More information about the Types-announce mailing list