From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/7932 Path: news.gmane.org!not-for-mail From: Alex Simpson Newsgroups: gmane.science.mathematics.categories Subject: 8th Scottish Category Theory Seminar: final programme Date: Fri, 22 Nov 2013 22:31:31 +0000 Message-ID: Reply-To: Alex Simpson NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; DelSp="Yes"; format="flowed" Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1385237585 26526 80.91.229.3 (23 Nov 2013 20:13:05 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sat, 23 Nov 2013 20:13:05 +0000 (UTC) To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Sat Nov 23 21:13:08 2013 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.1.186]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1VkJZk-0006KY-M0 for gsmc-categories@m.gmane.org; Sat, 23 Nov 2013 21:13:08 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:46631) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1VkJYG-00073C-Sl; Sat, 23 Nov 2013 16:11:36 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1VkJYG-00070h-K4 for categories-list@mlist.mta.ca; Sat, 23 Nov 2013 16:11:36 -0400 Content-Disposition: inline Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:7932 Archived-At: ******************************************************************** *** *** 8th Scottish Category Theory Seminar *** Friday 29 November 2013, 13:30-17:30 *** International Centre for Mathematical Sciences *** 15 South College Street, Edinburgh, UK *** *** http://homepages.inf.ed.ac.uk/als/SCT/sct131129.html *** ******************************************************************** We are pleased to announce the Eighth Scottish Category Theory Seminar. Everyone is welcome. The final programme is: 1.30-2 COFFEE 2-3.00 Urs Schreiber: Higher toposes of laws of motion 3-3.30 Vincent Danos: Conditional expectation as a functor 3.30-4 COFFEE & PASTRIES 4-4.30 Ross Duncan: Quantum computing in (almost) any category: an introduction to the ZX-calculus 4.30-5.30 Bart Jacobs: Program semantics, according to Heisenberg and to Schroedinger Abstracts will be available soon at the web address above. If you wish to attend the meeting or would like to join us for dinner afterwards, you are requested to email scotcats@cis.strath.ac.uk Many thanks to the Glasgow Mathematical Journal Trust and to the Complex Systems Engineering and Modelling and Abstraction themes of the Scottish Informatics and Computer Science Alliance for generous financial support. Scottish Category Theory Seminar organisers: Neil Ghani, Tom Leinster, Alex Simpson (local organiser) -- Alex Simpson, LFCS, School of Informatics, Univ. of Edinburgh, UK Email: Alex.Simpson@ed.ac.uk Tel: +44 (0)131 650 5113 Web: http://homepages.inf.ed.ac.uk/als Fax: +44 (0)131 651 1426 -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]