Date(s) - 29/11/2013
The Scottish Category Theory Seminar provides a forum for discussion of all aspects of category theory, including applications to other mathematical and scientific fields.
We intend the meeting to be attractive to mathematicians, computer scientists, physicists, and anyone else interested in category-theoretic tools and their applications. Speakers have been asked to pitch their talks to suit a broad audience of people from diverse specialities, but with a common interest in category theory.
The meeting is supported by the Glasgow Mathematical Journal Trust and by the Complex Systems Engineering and Modelling and Abstraction themes of the Scottish Informatics and Computer Science Alliance.
14.00-15.00 Invited speaker: Urs Schreiber (Radboud University Nijmegen)
Higher toposes of laws of motion
15.00-15.30Vincent Danos (University of Edinburgh)
Conditional expectation as a functor
15.30-16.00 Coffee and pastries
16.00-16.30Ross Duncan (University of Strathclyde)
Quantum computing in (almost) any category: an introduction to the ZX-calculus
16.30-17.30 Invited speaker: Bart Jacobs (Radboud University Nijmegen)
Program semantics, according to Heisenberg and to Schroedinger
Arrangements and dinner
The meeting takes place in the International Centre for Mathematical Sciences, 15 South College Street, Edinburgh.
The meeting will be followed by drinks in a nearby pub (from 17.50) and then dinner at a local restaurant (from 19.00).
You are requested to contact us (email email@example.com) by Tuesday 26th November if:
you will attend the meeting, so we can cater appropriately,
you are intending to come to dinner.