From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9035 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 30 November Date: Fri, 18 Nov 2016 09:42:39 +0000 Message-ID: NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="----------=_1479462176-8674-14" Content-Transfer-Encoding: binary X-Trace: blaine.gmane.org 1479463809 29531 195.159.176.226 (18 Nov 2016 10:10:09 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Fri, 18 Nov 2016 10:10:09 +0000 (UTC) To: =?UTF-8?B?4oCcY2F0ZWdvcmllc0BtdGEuY2HigJ0=?= , =?UTF-8?B?4oCcdHlwZXMtYW5ub3VuY2VAbGlzdHMuc2Vhcy51cGVubi5lZHXigJ0=?= , "lfcs-interest-hrkdsMTsJDGFxr2TtlUqVg@public.gmane.org" , quantum-foundations , QUISCO , msp-interest-jbDEWmSD8rMwZN84zEGlPg@public.gmane.org Original-X-From: types-announce-bounces-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org Fri Nov 18 11:10:04 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 blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1c7g7N-0006EF-3h; Fri, 18 Nov 2016 11:10:01 +0100 Original-Received: from RHIZOME.SEAS.UPENN.EDU (localhost.upenn.edu [127.0.0.1]) by RHIZOME.seas.upenn.edu (8.14.9/8.14.3) with ESMTP id uAIA4uuQ005638; Fri, 18 Nov 2016 05:05:02 -0500 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.9/8.14.3) with ESMTP id uAI9h7Vr005138 for ; Fri, 18 Nov 2016 04:43:07 -0500 Original-Received: from loire.is.ed.ac.uk (loire.is.ed.ac.uk [129.215.16.10]) by apathy.seas.upenn.edu (8.14.9/8.14.3) with ESMTP id uAI9h1bk008272 for ; Fri, 18 Nov 2016 04:43:07 -0500 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 uAI9goTt018988 for ; Fri, 18 Nov 2016 09:42:51 GMT Original-Received: from mail-wm0-f48.google.com (mail-wm0-f48.google.com [74.125.82.48]) (authenticated user=cheunen mech=PLAIN bits=0) by lmtp1.ucs.ed.ac.uk (8.13.8/8.13.7) with ESMTP id uAI9go8Y004618 (version=TLSv1/SSLv3 cipher=AES128-SHA bits=128 verify=NOT) for ; Fri, 18 Nov 2016 09:42:50 GMT Original-Received: by mail-wm0-f48.google.com with SMTP id a197so26189332wmd.0 for ; Fri, 18 Nov 2016 01:42:50 -0800 (PST) X-Gm-Message-State: ABUngve3VKAS5qx6WIyj1I5xSyYsqHcIIUT6DXQyUcI6+oGGnpAuF2waL3E5++89jrJHoh598NMFVruOQt4kIg== X-Received: by 10.28.173.4 with SMTP id w4mr8733346wme.70.1479462170001; Fri, 18 Nov 2016 01:42:50 -0800 (PST) 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-1611180173 X-Proofpoint-SpamScore: 0 X-Mailman-Approved-At: Fri, 18 Nov 2016 05:04:55 -0500 X-BeenThere: types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org X-Mailman-Version: 2.1.17 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:6383 gmane.science.mathematics.categories:9035 Archived-At: This is a multi-part message in MIME format... ------------=_1479462176-8674-14 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 ] ------------=_1479462176-8674-14 Received: from mail-wm0-f48.google.com (mail-wm0-f48.google.com [74.125.82.48]) (authenticated user=cheunen mech=PLAIN bits=0) by lmtp1.ucs.ed.ac.uk (8.13.8/8.13.7) with ESMTP id uAI9go8Y004618 (version=TLSv1/SSLv3 cipher=AES128-SHA bits=128 verify=NOT) for ; Fri, 18 Nov 2016 09:42:50 GMT Received: by mail-wm0-f48.google.com with SMTP id a197so26189332wmd.0 for ; Fri, 18 Nov 2016 01:42:50 -0800 (PST) X-Gm-Message-State: ABUngve3VKAS5qx6WIyj1I5xSyYsqHcIIUT6DXQyUcI6+oGGnpAuF2waL3E5++89jrJHoh598NMFVruOQt4kIg== X-Received: by 10.28.173.4 with SMTP id w4mr8733346wme.70.1479462170001; Fri, 18 Nov 2016 01:42:50 -0800 (PST) MIME-Version: 1.0 From: Chris Heunen Date: Fri, 18 Nov 2016 09:42:39 +0000 X-Gmail-Original-Message-ID: Message-ID: Subject: Categories Logic and Physics Scotland 30 November To: =?UTF-8?B?4oCcY2F0ZWdvcmllc0BtdGEuY2HigJ0=?= , =?UTF-8?B?4oCcdHlwZXMtYW5ub3VuY2VAbGlzdHMuc2Vhcy51cGVubi5lZHXigJ0=?= , "lfcs-interest-hrkdsMTsJDGFxr2TtlUqVg@public.gmane.org" , quantum-foundations , QUISCO , msp-interest-jbDEWmSD8rMwZN84zEGlPg@public.gmane.org Content-Type: multipart/alternative; boundary=001a1144214e1a08800541902122 X-Scanned-By: MIMEDefang 2.52 on 129.215.149.64 --001a1144214e1a08800541902122 Content-Type: text/plain; charset=UTF-8 CATEGORIES LOGIC AND PHYSICS SCOTLAND Wednesday 30 November 2016 Department of Computer and Information Sciences, University of Strathclyde http://homepages.inf.ed.ac.uk/cheunen/clapscotland/ Following our successful meeting in April, we are pleased to announce the second workshop in the CLAP Scotland series: * Tom Avery (University of Edinburgh): "Notions of algebraic theory" * Kevin Dunne (University of Strathclyde) * Martti Karvonen (University of Edinburgh): "Dagger categories: monads and limits" * Ulrich Kraehmer (University of Glasgow): "What is a quantum symmetry?" * Dan Marsden (University of Oxford): "Custom hypergraph categories via generalized relations" * Tarmo Uustalu (Talinn University of Technology): "Grading monads, comonads, and distributive laws" 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 --001a1144214e1a08800541902122 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
CATEGORIES LOGIC AND PHYSICS SCOTLAND<= br class=3D"gmail_msg"> Wednesday 30 November 2016
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 meeting in April, we are pleased to announce=20 the second workshop in the CLAP Scotl= and series:

* Tom Avery (University of Edinburgh): <= br>=C2=A0=C2=A0 "Notions of algebraic theory"
* Kevin Dunne (University of Strathclyde)
* Martti Karvonen (University of Edinburgh):
=C2=A0=C2=A0 "Dagger = categories: monads and limits"
* Ulrich Kraehmer (University of Glasgow):
=C2=A0=C2=A0 "What is a quantum symmetry?"
* Dan Marsden (University of Oxford):
=C2=A0=C2=A0 "Custom hypergraph categories via generalized= relations"
* Tarmo Uustalu (Talinn Unive= rsity of Technology):
=C2=A0=C2=A0 "= Grading monads, comonads, and distributive laws"

Registration is free. For catering purposes, please= email the local organiser <ross.duncan-3oVnsloLHoGFxr2TtlUqVg@public.gmane.org> as s= oon as possible if you plan to attend.

Best wishes,
Chris Heunen and Ross Duncan
--001a1144214e1a08800541902122-- ------------=_1479462176-8674-14 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. ------------=_1479462176-8674-14--