8th Scottish Category Theory Seminar: final programme

8th Scottish Category Theory Seminar: final programme

[Alex Simpson]

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