******************************************************************** *** *** 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/ ]