From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9165 Path: news.gmane.org!.POSTED!not-for-mail From: Chris Heunen Newsgroups: gmane.comp.science.types.announce,gmane.science.mathematics.categories Subject: Categories Logic and Physics Scotland 5 April 2017 Date: Tue, 28 Mar 2017 08:54:13 +0000 Message-ID: NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="----------=_1490691270-15632-6" Content-Transfer-Encoding: binary X-Trace: blaine.gmane.org 1490697551 18554 195.159.176.226 (28 Mar 2017 10:39:11 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Tue, 28 Mar 2017 10:39:11 +0000 (UTC) To: =?UTF-8?B?4oCcY2F0ZWdvcmllc0BtdGEuY2HigJ0=?= , =?UTF-8?B?4oCcdHlwZXMtYW5ub3VuY2VAbGlzdHMuc2Vhcy51cGVubi5lZHXigJ0=?= , "msp-interest-jbDEWmSD8rMwZN84zEGlPg@public.gmane.org" , "lfcs-interest-hrkdsMTsJDGFxr2TtlUqVg@public.gmane.org" , quantum-foundations , QUISCO Original-X-From: types-announce-bounces-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org Tue Mar 28 12:39:05 2017 Return-path: Envelope-to: gcst-types-announce-Uylq5CNFT+jYtjvyW6yDsg@public.gmane.org Original-Received: from mxfilter-048034.atla03.us.yomura.com ([107.189.48.34]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1csoWm-0004AW-8E for gcst-types-announce-Uylq5CNFT+jYtjvyW6yDsg@public.gmane.org; Tue, 28 Mar 2017 12:39:04 +0200 X-Yomura-MXScrub: 1.0 Original-Received: from RHIZOME.seas.upenn.edu (unknown [158.130.69.24]) by mxfilter-048034.atla03.us.yomura.com (Halon) with ESMTP id c5b00394-13a2-11e7-8ed1-b499baa2b07a; Tue, 28 Mar 2017 10:39:08 +0000 (UTC) Original-Received: from RHIZOME.SEAS.UPENN.EDU (localhost.upenn.edu [127.0.0.1]) by RHIZOME.seas.upenn.edu (8.15.2/8.14.3) with ESMTP id v2SAaDA8018129; Tue, 28 Mar 2017 06:36:19 -0400 X-Mailman-Handler: $Id: mm-handler,v 1.2 2002/04/05 19:41:09 bwarsaw Exp $ Original-Received: from telepathy.seas.upenn.edu (telepathy.seas.upenn.edu [158.130.68.71]) by RHIZOME.seas.upenn.edu (8.15.2/8.14.3) with ESMTP id v2S8sffq012747 for ; Tue, 28 Mar 2017 04:54:41 -0400 Original-Received: from loire.is.ed.ac.uk (loire.is.ed.ac.uk [129.215.16.10]) by telepathy.seas.upenn.edu (8.15.2/8.14.3) with ESMTP id v2S8sZaa000993 for ; Tue, 28 Mar 2017 04:54:41 -0400 Original-Received: from lmtp1.ucs.ed.ac.uk (lmtp1.ucs.ed.ac.uk [129.215.149.64]) by loire.is.ed.ac.uk (8.14.7/8.14.6) with ESMTP id v2S8sPrj023468 for ; Tue, 28 Mar 2017 09:54:25 +0100 Original-Received: from mail-yw0-f178.google.com (mail-yw0-f178.google.com [209.85.161.178]) (authenticated user=cheunen mech=PLAIN bits=0) by lmtp1.ucs.ed.ac.uk (8.13.8/8.13.7) with ESMTP id v2S8sNSe025388 (version=TLSv1/SSLv3 cipher=AES128-SHA bits=128 verify=NOT) for ; Tue, 28 Mar 2017 09:54:24 +0100 (BST) Original-Received: by mail-yw0-f178.google.com with SMTP id i203so48743722ywc.3 for ; Tue, 28 Mar 2017 01:54:24 -0700 (PDT) X-Gm-Message-State: AFeK/H3RfSWa87Sm1T78SWXL9yat2oU+PlUlTi+1qIo6Vp43jVU3qEQ7p1F+dHsU5j7oDHQaxoez/V86vjvsDg== X-Received: by 10.129.172.25 with SMTP id k25mr20365901ywh.165.1490691263556; Tue, 28 Mar 2017 01:54:23 -0700 (PDT) X-Gmail-Original-Message-ID: X-Scanned-By: MIMEDefang 2.78 on 129.215.16.10 X-Scanned-By: MIMEDefang 2.52 on 129.215.149.64 X-Edinburgh-Scanned: at loire.is.ed.ac.uk with MIMEDefang 2.78, Sophie, Sophos Anti-Virus, Clam AntiVirus X-Proofpoint-Virus-Version: vendor=nai engine=5600 definitions=5800 signatures=585085 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-1703280081 X-Proofpoint-SpamScore: 0 X-Mailman-Approved-At: Tue, 28 Mar 2017 06:35:05 -0400 X-BeenThere: types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org X-Mailman-Version: 2.1.22 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:6686 gmane.science.mathematics.categories:9165 Archived-At: This is a multi-part message in MIME format... ------------=_1490691270-15632-6 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 ] ------------=_1490691270-15632-6 Received: from mail-yw0-f178.google.com (mail-yw0-f178.google.com [209.85.161.178]) (authenticated user=cheunen mech=PLAIN bits=0) by lmtp1.ucs.ed.ac.uk (8.13.8/8.13.7) with ESMTP id v2S8sNSe025388 (version=TLSv1/SSLv3 cipher=AES128-SHA bits=128 verify=NOT) for ; Tue, 28 Mar 2017 09:54:24 +0100 (BST) Received: by mail-yw0-f178.google.com with SMTP id i203so48743722ywc.3 for ; Tue, 28 Mar 2017 01:54:24 -0700 (PDT) X-Gm-Message-State: AFeK/H3RfSWa87Sm1T78SWXL9yat2oU+PlUlTi+1qIo6Vp43jVU3qEQ7p1F+dHsU5j7oDHQaxoez/V86vjvsDg== X-Received: by 10.129.172.25 with SMTP id k25mr20365901ywh.165.1490691263556; Tue, 28 Mar 2017 01:54:23 -0700 (PDT) MIME-Version: 1.0 From: Chris Heunen Date: Tue, 28 Mar 2017 08:54:13 +0000 X-Gmail-Original-Message-ID: Message-ID: Subject: Categories Logic and Physics Scotland 5 April 2017 To: =?UTF-8?B?4oCcY2F0ZWdvcmllc0BtdGEuY2HigJ0=?= , =?UTF-8?B?4oCcdHlwZXMtYW5ub3VuY2VAbGlzdHMuc2Vhcy51cGVubi5lZHXigJ0=?= , "msp-interest-jbDEWmSD8rMwZN84zEGlPg@public.gmane.org" , "lfcs-interest-hrkdsMTsJDGFxr2TtlUqVg@public.gmane.org" , quantum-foundations , QUISCO Content-Type: multipart/alternative; boundary=94eb2c1badfc3c15e1054bc69b9e X-Scanned-By: MIMEDefang 2.52 on 129.215.149.64 --94eb2c1badfc3c15e1054bc69b9e Content-Type: text/plain; charset=UTF-8 CATEGORIES LOGIC AND PHYSICS SCOTLAND Wednesday 5 April 2017 Department of Computer and Information Sciences, University of Strathclyde http://homepages.inf.ed.ac.uk/cheunen/clapscotland/ Following our successful meetings last year, we are pleased to announce the third workshop in the CLAP Scotland series, and invite you to participate. Programme: * Kevin Dunne (University of Strathclyde): "Infinite-Dimensional Categorical Quantum Mechanics, Spectra, and Contextuality" * Chris Heunen (University of Edinburgh): "The category of Hilbert modules" * Peter Hines (University of York): "Diagrams and Coherence Theorems in Cryptography and Cryptanalysis" * Aleks Kissinger (Radboud University): "A categorical semantics for causal structure" * Clemens Kupke (University of Strathclyde): "Games for topological fixpoint logics" * Fabio Zanasi (University College London): "A new foundation for string diagram rewriting: adequacy, confluence, commutativity" Registration is free. For catering purposes, please email the local organiser as soon as possible if you plan to attend. Best wishes, Chris Heunen and Ross Duncan --94eb2c1badfc3c15e1054bc69b9e Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
CATEGORIES LOGIC AND PHYSICS SCOTLAND
Wednesday 5 April 2017
Department of Computer and Information Sciences, University of Strathclyde<= br class=3D"gmail_msg"> http://homepages.inf.ed.ac.uk= /cheunen/clapscotland/

Following our successful meetings last year, we are pleased to announce the=
third workshop in the CLAP Scotland s= eries, and invite you to participate.

Programme:
* Kevin Dunne (University of Strathclyde):
=C2=A0 "Infinite-Dimens= ional Categorical Quantum Mechanics, Spectra, and Contextuality"
* Chris Heunen (University of Edinburgh):
=C2=A0 "The category of = Hilbert modules"
* Peter Hines (University of York):
=C2=A0 "Diagrams and Coherence= Theorems in Cryptography and Cryptanalysis"
* Aleks Kissinger (Radboud University):
=C2=A0 "A categorical sema= ntics for causal structure"
* Clemens Kupke (University of Strathclyde):
=C2=A0 "Games for top= ological fixpoint logics"
* Fabio Zanasi (University College London):
=C2=A0 "A new foundati= on for string diagram rewriting: adequacy, confluence, commutativity"<= br>
Registration is free. For catering purposes, please email the local
organiser <ross.duncan-3oVnsloLHoGFxr2TtlUqVg@public.gmane.org> as soon as possible i= f you plan to
attend.

Best wishes,
Chris Heunen and Ross Duncan
--94eb2c1badfc3c15e1054bc69b9e-- ------------=_1490691270-15632-6 Content-Type: text/plain Content-Disposition: inline Content-Transfer-Encoding: 7bit Content-Description: Edinburgh University charitable status The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. ------------=_1490691270-15632-6--