SICSA CSE/M&A: Eighth Scottish Category Theory Seminar

Date(s) - 29/11/2013
All Day

The Glass Room Reception, Edinburgh Napier University

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.

13.30-14.00 Coffee

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 by Tuesday 26th November if:
you will attend the meeting, so we can cater appropriately,
you are intending to come to dinner.

This entry was posted in .