From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8059 Path: news.gmane.org!not-for-mail From: Ichiro Hasuo Newsgroups: gmane.comp.science.types.announce,gmane.science.mathematics.categories Subject: QPL 2014: 2nd Call for Papers Date: Fri, 21 Mar 2014 01:30:32 +0900 Message-ID: NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1395335090 21338 80.91.229.3 (20 Mar 2014 17:04:50 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Thu, 20 Mar 2014 17:04:50 +0000 (UTC) To: types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org, categories-59hdLBrVOVU@public.gmane.org, quantum-foundations-mrEvjEli4ZAJrcTbIn6FzVpr/1R2p/CL@public.gmane.org, iqsa-JX7+OpRa80Q/wHKzD/9UspkigfUh6rMo@public.gmane.org Original-X-From: types-announce-bounces-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org Thu Mar 20 18:05:00 2014 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 1WQgOi-0000v3-5T; Thu, 20 Mar 2014 18:04:52 +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 s2KGddCj008283; Thu, 20 Mar 2014 12:39:56 -0400 X-Mailman-Handler: $Id: mm-handler,v 1.2 2002/04/05 19:41:09 bwarsaw Exp $ Original-Received: from apathy.seas.upenn.edu (apathy.seas.upenn.edu [158.130.68.99]) by rhizome.seas.upenn.edu (8.14.5/8.14.3) with ESMTP id s2KGV3wi008100 for ; Thu, 20 Mar 2014 12:31:03 -0400 Original-Received: from mail-vc0-f170.google.com (mail-vc0-f170.google.com [209.85.220.170]) by apathy.seas.upenn.edu (8.14.5/8.14.3) with ESMTP id s2KGUwwE013683 for ; Thu, 20 Mar 2014 12:31:03 -0400 Original-Received: by mail-vc0-f170.google.com with SMTP id hu19so1248919vcb.15 for ; Thu, 20 Mar 2014 09:30:53 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:from:date:message-id:subject:to:content-type; bh=2W7MrABzME6WPz6+owiBHkrosbpiP9vzyQcoaRyrgAo=; b=EIDpu42xA1U8JhoqteLq6HxCxSn5DYf04opJnQ4wcxMAoA5kk/UN5vqi6GkVo0Eyp8 2tSMozXeQEUIRlbNntHfGW0Uq/YgzDO6tqTf6JiW5qbztXENER2ITxMr23ydkypJAtmS cjLsPTlcf3A+Aq5owOm1UzLc8FC32/mJtmKrIsSlUHGUlLtOi56UQwZXpvoWv6KQMcio XNRa8j2gKKpJ6HeFgfWQaRbg4zRvEZcrdxNOH9zZVDmwoUILnCkIN8HAcK/lv2Ci06uR zCM9DIEX9DmFw8/+D77H6vUoGNVyxxI/wsbpSLJdP5DgVJD4V4kvabuN3cHWsR8QtJNv JjLQ== X-Received: by 10.221.29.196 with SMTP id rz4mr34537270vcb.8.1395333052935; Thu, 20 Mar 2014 09:30:52 -0700 (PDT) Original-Received: by 10.220.162.69 with HTTP; Thu, 20 Mar 2014 09:30:32 -0700 (PDT) X-Google-Sender-Auth: xkTlENmCekGwqaHsmxQmHxp69Ug X-Proofpoint-Virus-Version: vendor=nai engine=5400 definitions=5800 signatures=585085 X-Spam-Level: X-Proofpoint-Spam-Details: rule=spam_score_tagging policy=default score=0 spamscore=0 ipscore=0 suspectscore=2 phishscore=0 bulkscore=0 adultscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=7.0.1-1111160001 definitions=main-1403200090 X-Proofpoint-SpamScore: 0 X-Mailman-Approved-At: Thu, 20 Mar 2014 12:39:38 -0400 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:4366 gmane.science.mathematics.categories:8059 Archived-At: [ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies for multiple copies] CALL FOR PAPERS The 11th workshop on Quantum Physics and Logic (QPL) June 4-6, Kyoto, Japan http://www-mmm.is.s.u-tokyo.ac.jp/qpl2014 The 11th workshop on Quantum Physics and Logic (QPL) will take place at Kyoto University, Japan, from 4th to 6th, JUNE 2014. This workshop will bring together researchers working on mathematical foundations of quantum physics, quantum computing and spatio-temporal causal structures, and in particular those that use logical tools, ordered algebraic and category-theoretic structures, formal languages, semantical methods and other computer science methods for the study of physical behaviour in general. Previous QPL events were held in Ottawa (2003), Turku (2004), Chicago (2005), Oxford (2006),Reykjavik (2008), Oxford (2009), Oxford (2010), Nijmegen (2011), Brussels (2012) and Barcelona (2013). INVITED SPEAKERS Giulio Chiribella (Tsinghua) Masahito "Hassei" Hasegawa (Kyoto) Masanao Ozawa (Nagoya) IMPORTANT DATES Submission Deadline: 13th Apr, 2014 Notification of Acceptance: 4th May Papers Ready: 11th May Workshop: 4th-6th June SUBMISSIONS Prospective speakers are invited to submit a contribution to the workshop. - *Short contributions* consist of a 3 page description of the work, and a link to a paper published elsewhere. - Longer *original contributions* consist of a 5-12 page extended abstract which provides sufficient evidence of results of genuine interest and provides sufficient detail to allow the program committee to assess the merits of the work. Submissions of works in progress are encouraged but must be more substantial than a research proposal. Extended versions of accepted original research contributions will be published in Electronic Proceedings in Theoretical Computer Science (EPTCS) after the workshop. Selected contributions will further be invited to a special issue in the journal New Generation Computing. Submissions should be prepared using LaTeX (use of the EPTCS style is encouraged), and must be submitted in PDF format. Submission is done via EasyChair: https://www.easychair.org/conferences/?conf=qpl2014 TRAVEL SUPPORT We encourage participation by graduate students. Students will pay a reduced registration fee. We will also provide limited financial support to students for travel and accommodations (non-students can also apply but priority is given to students). Further information is found on the workshop website. PROGRAMME COMMITTEE Dan Browne (UCL) Giulio Chiribella (Tsinghua) Bob Coecke (Oxford, co-chair) Ross Duncan (Strathclyde) Simon Gay (Glasgow) Ichiro Hasuo (Tokyo, co-chair) Chris Heunen (Oxford) Matty Hoban (ICFO) Bart Jacobs (Nijmegen) Viv Kendon (Leeds) Prakash Panangaden (McGill, co-chair) Simon Perdrix (CNRS Grenoble) Mehrnoosh Sadrzadeh (QMUL) Peter Selinger (Dalhousie) Rob Spekkens (Perimeter) Bas Spitters (Nijmegen) Jamie Vicary (Oxford & CQT Singapore) Mingsheng Ying (UTS Sydney & Tsinghua) LOCAL ORGANISATION Ichiro Hasuo (Tokyo, chair) Naohiko Hoshino (Kyoto) Yoshihiko Kakutani (Tokyo) Susumu Nishimura (Kyoto) STEERING COMMITTEE Bob Coecke (Oxford) Prakash Panangaden (McGill) Peter Selinger (Dalhousie)