From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8845 Path: news.gmane.org!not-for-mail From: Chris Heunen Newsgroups: gmane.comp.science.types.announce,gmane.science.mathematics.categories Subject: QPL 2016: Final call for papers Date: Mon, 07 Mar 2016 09:43:58 +0000 Message-ID: NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="----------=_1457343857-27946-23" Content-Transfer-Encoding: binary X-Trace: ger.gmane.org 1457346304 3782 80.91.229.3 (7 Mar 2016 10:25:04 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 7 Mar 2016 10:25:04 +0000 (UTC) To: "las-lics-Xt5XgHjqiBV35pIdRWVIsoQuADTiUCJX@public.gmane.org" , "categories-59hdLBrVOVU@public.gmane.org" , "types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org" , "quantum-announcements-6XCrzUfQPq310XsdtD+oqA@public.gmane.org" , "iqsa-JX7+OpRa80Q/wHKzD/9UspkigfUh6rMo@public.gmane.org" , QUISCO , "prooftheory.list-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org" Original-X-From: types-announce-bounces-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org Mon Mar 07 11:24:49 2016 Return-path: Envelope-to: gcst-types-announce-Uylq5CNFT+jYtjvyW6yDsg@public.gmane.org Original-Received: from rhizome.seas.upenn.edu ([158.130.69.24]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1acsL0-0000Ie-TL; Mon, 07 Mar 2016 11:24:31 +0100 Original-Received: from RHIZOME.SEAS.UPENN.EDU (LOCALHOST.UPENN.EDU [127.0.0.1]) by RHIZOME.seas.upenn.edu (8.14.5/8.14.3) with ESMTP id u279upJr009654; Mon, 7 Mar 2016 04:57:09 -0500 X-Mailman-Handler: $Id: mm-handler,v 1.2 2002/04/05 19:41:09 bwarsaw Exp $ Original-Received: from psychopathy.seas.upenn.edu (psychopathy.seas.upenn.edu [158.130.67.191]) by RHIZOME.seas.upenn.edu (8.14.5/8.14.3) with ESMTP id u279iVGJ009348 for ; Mon, 7 Mar 2016 04:44:31 -0500 Original-Received: from nougat.ucs.ed.ac.uk (nougat.ucs.ed.ac.uk [129.215.13.205]) by psychopathy.seas.upenn.edu (8.14.9/8.14.3) with ESMTP id u279iPjm016941 for ; Mon, 7 Mar 2016 04:44:30 -0500 Original-Received: from lmtp1.ucs.ed.ac.uk (lmtp1.ucs.ed.ac.uk [129.215.149.64]) by nougat.ucs.ed.ac.uk (8.13.8/8.13.4) with ESMTP id u279iCJF001765 for ; Mon, 7 Mar 2016 09:44:12 GMT Original-Received: from mail-lb0-f170.google.com (mail-lb0-f170.google.com [209.85.217.170]) (authenticated user=cheunen mech=PLAIN bits=0) by lmtp1.ucs.ed.ac.uk (8.13.8/8.13.7) with ESMTP id u279i8W8024585 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=NOT) for ; Mon, 7 Mar 2016 09:44:11 GMT Original-Received: by mail-lb0-f170.google.com with SMTP id bc4so123529165lbc.2 for ; Mon, 07 Mar 2016 01:44:11 -0800 (PST) X-Gm-Message-State: AD7BkJJih7kBhkzp1JhT/aEMpXCwk6xAMa6KcpcI65eSuH3bS8zoSrTNooFWRHDfM61djZJDh9gGnmA6T1NqWw== X-Received: by 10.25.79.14 with SMTP id d14mr7332558lfb.98.1457343848325; Mon, 07 Mar 2016 01:44:08 -0800 (PST) X-Gmail-Original-Message-ID: X-Scanned-By: MIMEDefang 2.60 on 129.215.13.205 X-Scanned-By: MIMEDefang 2.52 on 129.215.149.64 X-Edinburgh-Scanned: at nougat.ucs.ed.ac.uk with MIMEDefang 2.60, Sophie, Sophos Anti-Virus, Clam AntiVirus X-Proofpoint-Virus-Version: vendor=nai engine=5600 definitions=5800 signatures=585085 X-Spam-Level: X-Proofpoint-Spam-Details: rule=spam_score_tagging policy=default score=0 spamscore=0 suspectscore=2 phishscore=0 adultscore=0 bulkscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.0.1-1410280000 definitions=main-1603070183 X-Proofpoint-SpamScore: 0 X-Mailman-Approved-At: Mon, 07 Mar 2016 04:56:50 -0500 X-BeenThere: types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: Announcements of interest to the TYPES community List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: types-announce-bounces-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org Original-Sender: "Types-announce" Xref: news.gmane.org gmane.comp.science.types.announce:5853 gmane.science.mathematics.categories:8845 Archived-At: This is a multi-part message in MIME format... ------------=_1457343857-27946-23 Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline [ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ------------=_1457343857-27946-23 Received: from mail-lb0-f170.google.com (mail-lb0-f170.google.com [209.85.217.170]) (authenticated user=cheunen mech=PLAIN bits=0) by lmtp1.ucs.ed.ac.uk (8.13.8/8.13.7) with ESMTP id u279i8W8024585 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=NOT) for ; Mon, 7 Mar 2016 09:44:11 GMT Received: by mail-lb0-f170.google.com with SMTP id bc4so123529165lbc.2 for ; Mon, 07 Mar 2016 01:44:11 -0800 (PST) X-Gm-Message-State: AD7BkJJih7kBhkzp1JhT/aEMpXCwk6xAMa6KcpcI65eSuH3bS8zoSrTNooFWRHDfM61djZJDh9gGnmA6T1NqWw== X-Received: by 10.25.79.14 with SMTP id d14mr7332558lfb.98.1457343848325; Mon, 07 Mar 2016 01:44:08 -0800 (PST) MIME-Version: 1.0 From: Chris Heunen Date: Mon, 07 Mar 2016 09:43:58 +0000 X-Gmail-Original-Message-ID: Message-ID: Subject: QPL 2016: Final call for papers To: "las-lics-Xt5XgHjqiBV35pIdRWVIsoQuADTiUCJX@public.gmane.org" , "categories-59hdLBrVOVU@public.gmane.org" , "types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org" , "quantum-announcements-6XCrzUfQPq310XsdtD+oqA@public.gmane.org" , "iqsa-JX7+OpRa80Q/wHKzD/9UspkigfUh6rMo@public.gmane.org" , QUISCO , "prooftheory.list-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org" Content-Type: multipart/alternative; boundary=001a1141ef5a652eba052d724e20 X-Scanned-By: MIMEDefang 2.52 on 129.215.149.64 --001a1141ef5a652eba052d724e20 Content-Type: text/plain; charset=UTF-8 Content-Disposition: inline FINAL CALL FOR PAPERS The 13th International Conference on Quantum Physics and Logic (QPL) June 6-10, 2016 University of Strathclyde, Glasgow, Scotland http://qpl2016.cis.strath.ac.uk The 13th International Conference on Quantum Physics and Logic (QPL) will take place at the University of Strathclyde between Tuesday 7 and Friday 10 June, 2016. 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. Previous QPL events were held in 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). INVITED SPEAKERS Elham Kashefi (University of Edinburgh) Tom Leinster (University of Edinburgh) Krysta Svore (Microsoft Research) Stephanie Wehner (Technical University Delft) TUTORIAL SPEAKERS On Monday June 6 and Tuesday June 7 there will be tutorial lectures: Kohei Kishida (University of Oxford) Aleks Kissinger (Radboud University Nijmegen) Conor McBride (University of Strathclyde) Daniel Oi (University of Strathclyde) Ognyan Oreshkov (Universite Libre de Bruxelles) Peter Selinger (Dalhousie University) SATELLITES On Saturday June 11 there will be a satellite workshop on "Semantic spaces at the intersection of natural language processing, physics, and cognitive science". Invited speakers are: Hans Briegel (University of Innsbruck) Peter Gardenfors (University of Lund) More details can be found at: https://www.sites.google.com/site/semspworkshop. IMPORTANT DATES Submission: March 13, 2016 Notification: April 24 Papers ready: May 29 Tutorials: June 6 Conference: June 7-10 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 sufficient 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. - Short contributions will also be considered, and consist of a 3 page description including a link to work that has already been published or submitted elsewhere, provided it is recent and relevant to the conference. 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=qpl2016 There will be an award for the best paper whose authors are all students, at the discretion of the programme committee. REGISTRATION AND FINANCIAL SUPPORT If you are planning to come you must register. Registration is now open: http://onlineshop.strath.ac.uk/browse/extra_info.asp?modid=2&prodid=502 Thanks to our generous sponsors, limited funding is available to support participation of graduate students and those with caregiving responsibilities. If you would like to apply for financial support please send an email to qpl2016-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org indicating your name and affiliation, and if you are a student, the name of your supervisor. Priority will be given to those presenting a paper or poster at QPL2016. PROGRAMME COMMITTEE John Barrett (University of Nottingham) Rick Blute (University of Ottawa) Dan Browne (University College London) Giulio Chiribella (University of Hong Kong) Bob Coecke (University of Oxford) Ross Duncan (University of Strathclyde, co-chair) Ichiro Hasuo (University of Tokyo) Chris Heunen (University of Edinburgh, co-chair) Matty Hoban (University of Oxford) Bart Jacobs (Radboud University Nijmegen) Viv Kendon (Durham University) Kohei Kishida (University of Oxford) Aleks Kissinger (Radboud University Nijmegen) Joachim Kock (Universitat Autonoma de Barcelona) Matt Leifer (Chapman University) Paul-Andre Mellies (University Paris Diderot) Michael Moortgat (Utrecht University) Daniel Oi (University of Strathclyde) Prakash Panangaden (McGill University) Dusko Pavlovic (University of Hawaii) Simon Perdrix (CNRS Nancy) Robert Raussendorf (University of British Columbia) Mehrnoosh Sadrzadeh (Queen Mary University of London) Peter Selinger (Dalhousie University) Pawel Sobocinski (University of Southampton) Rob Spekkens (Perimeter Institute) Bas Spitters (Aarhus University) Isar Stubbe (Universite du Littoral-Cote-d'Opale) Jamie Vicary (University of Oxford) Mingsheng Ying (University of Technology Sydney) STEERING COMMITTEE Bob Coecke (University of Oxford) Prakash Panangaden (McGill University) Peter Selinger (Dalhousie University) LOCAL ORGANISATION Ross Duncan Chris Heunen Daniel Oi --001a1141ef5a652eba052d724e20 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Content-Disposition: inline

=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 FINAL CALL FOR PAPERS

=C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0The 13th International Conference on<= /div>
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 Quantum Physics = and Logic (QPL)

=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0= =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 June 6-10, 2016
=C2=A0 =C2=A0= =C2=A0 =C2=A0 University of Strathclyde, Glasgow, Scotland

<= /div>
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 http://qpl2016.cis.strath.ac.uk
<= br>

The 13th International Conference on Quantum P= hysics and Logic (QPL)
will take place at the University of Strat= hclyde between Tuesday 7 and
Friday 10 June, 2016.

=
The conference brings together researchers working on mathematic= al
foundations of quantum physics, quantum computing, and related= areas,
with a focus on structural perspectives and the use of lo= gical 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= .

Previous QPL events were held in Oxford (2015), = Kyoto (2014),
Barcelona (2013), Brussels (2012), Nijmegen (2011),= Oxford (2010),
Oxford (2009), Reykjavik (2008), Oxford (2006), C= hicago (2005),
Turku (2004), and Ottawa (2003).


INVITED SPEAKERS

Elham Kash= efi (University of Edinburgh)
Tom Leinster (University of Edinbur= gh)
Krysta Svore (Microsoft Research)
Stephanie Wehner = (Technical University Delft)


TUTORI= AL SPEAKERS

On Monday June 6 and Tuesday June 7 th= ere will be tutorial lectures:

Kohei Kishida (Univ= ersity of Oxford)
Aleks Kissinger (Radboud University Nijmegen)
Conor McBride (University of Strathclyde)
Daniel Oi (Uni= versity of Strathclyde)
Ognyan Oreshkov (Universite Libre de Brux= elles)
Peter Selinger (Dalhousie University)

=

SATELLITES

On Saturday June 11= there will be a satellite workshop on "Semantic
spaces at t= he intersection of natural language processing, physics, and
cogn= itive science". Invited speakers are:

Hans Br= iegel (University of Innsbruck)
Peter Gardenfors (University of L= und)

More details can be found at:

<= /div>

=

IMPORTANT DATES

Submission: Ma= rch 13, 2016
Notification: April 24
Papers ready: May 2= 9
Tutorials: June 6
Conference: June 7-10

SUBMISSIONS

Prospective= speakers are invited to submit a contribution to the conference.
=C2=A0
=C2=A0- Original contributions consist of a 5-12 page ext= ended abstract which
=C2=A0 =C2=A0provides sufficient evidence of= results of genuine interest and sufficient=C2=A0
=C2=A0 =C2=A0de= tail to allow the program committee to assess the merits of the work.
=
=C2=A0 =C2=A0Submission of substantial albeit partial results of work = in progress is=C2=A0
=C2=A0 =C2=A0encouraged.

=C2=A0- Short contributions will also be considered, and consist of a= 3 page
=C2=A0 =C2=A0description including a link to work that ha= s already been published=C2=A0
=C2=A0 =C2=A0or submitted elsewher= e, provided it is recent and relevant to the=C2=A0
=C2=A0 =C2=A0c= onference.

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

Submissions should be prepared using LaTeX, and mus= t be submitted
in PDF format. Use of the EPTCS style is encourage= d. Submission is done

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


REGISTRAT= ION AND FINANCIAL SUPPORT

If you are planning to c= ome you must register. Registration is now open:


Thanks to our gen= erous sponsors, limited funding is available to support
participa= tion of graduate students and those with caregiving responsibilities.=C2=A0=
If you would like to apply for financial support please send an = email to=C2=A0
qpl2016@gmail= .com indicating your name and affiliation, and if you are a=C2=A0
=
student, the name of your supervisor. Priority will be given to those= =C2=A0
presenting a paper or poster at QPL2016.


PROGRAMME COMMITTEE

John Ba= rrett (University of Nottingham)
Rick Blute (University of Ottawa= )
Dan Browne (University College London)
Giulio Chiribe= lla (University of Hong Kong)
Bob Coecke (University of Oxford)
Ross Duncan (University of Strathclyde, co-chair)
Ichiro= Hasuo (University of Tokyo)
Chris Heunen (University of Edinburg= h, co-chair)
Matty Hoban (University of Oxford)
Bart Ja= cobs (Radboud University Nijmegen)
Viv Kendon (Durham University)=
Kohei Kishida (University of Oxford)
Aleks Kissinger (= Radboud University Nijmegen)
Joachim Kock (Universitat Autonoma d= e Barcelona)
Matt Leifer (Chapman University)
Paul-Andr= e Mellies (University Paris Diderot)
Michael Moortgat (Utrecht Un= iversity)
Daniel Oi (University of Strathclyde)
Prakash= Panangaden (McGill University)
Dusko Pavlovic (University of Haw= aii)
Simon Perdrix (CNRS Nancy)
Robert Raussendorf (Uni= versity of British Columbia)
Mehrnoosh Sadrzadeh (Queen Mary Univ= ersity of London)
Peter Selinger (Dalhousie University)
Pawel Sobocinski (University of Southampton)
Rob Spekkens (Perim= eter Institute)
Bas Spitters (Aarhus University)
Isar S= tubbe (Universite du Littoral-Cote-d'Opale)
Jamie Vicary (Uni= versity of Oxford)
Mingsheng Ying (University of Technology Sydne= y)


STEERING COMMITTEE
Bob Coecke (University of Oxford)
Prakash Panangaden = (McGill University)
Peter Selinger (Dalhousie University)


LOCAL ORGANISATION

Ross Duncan
Chris Heunen
Daniel Oi

--001a1141ef5a652eba052d724e20-- ------------=_1457343857-27946-23 Content-Type: text/plain Content-Disposition: inline Content-Transfer-Encoding: 7bit MIME-Version: 1.0 X-Mailer: MIME-tools 5.420 (Entity 5.420) Content-Description: Edinburgh University charitable status The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. ------------=_1457343857-27946-23--