[TYPES/announce] 8th Scottish Category Theory Seminar: final programme

[Alex Simpson]

Announcing the final programme for this meeting, whose second half is  
particularly relevant to types subscribers.

********************************************************************
***
***  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 at 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 at 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.