[TYPES/announce] 8th Scottish Category Theory Seminar

Alex Simpson Alex.Simpson at ed.ac.uk
Mon Nov 18 08:45:01 EST 2013

This seminar will be of interest to some types list members.

***  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 still under  
construction but currently we expect to have:

  * Urs Schreiber: Higher toposes of laws of motion

  * Bart Jacobs (TBC): Program semantics, according to Heisenberg and  
to Schroedinger

  * Vincent Danos: Conditional expectation as a functor

  * Ross Duncan: Quantum computing in (almost) any category: an  
introduction to the ZX-calculus

A full programme with 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

Thanks to the Glasgow Mathematical Journal Trust for financial support.

Best wishes,
Scottish Category Theory Seminar organisers:
Neil Ghani, Tom Leinster, Alex Simpson

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.

More information about the Types-announce mailing list