Categories Logic and Physics Scotland 30 November

Categories Logic and Physics Scotland 30 November

[Chris Heunen]

[-- Attachment #1: Type: text/plain, Size: 108 bytes --]

[ The Types Forum (announcements only),
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]


[-- Attachment #2.1: Type: text/plain, Size: 1011 bytes --]

CATEGORIES LOGIC AND PHYSICS SCOTLAND
Wednesday 30 November 2016
Department of Computer and Information Sciences, University of Strathclyde
http://homepages.inf.ed.ac.uk/cheunen/clapscotland/

Following our successful meeting in April, we are pleased to announce the
second workshop in the CLAP Scotland series:

* Tom Avery (University of Edinburgh):
   "Notions of algebraic theory"
* Kevin Dunne (University of Strathclyde)
* Martti Karvonen (University of Edinburgh):
   "Dagger categories: monads and limits"
* Ulrich Kraehmer (University of Glasgow):
   "What is a quantum symmetry?"
* Dan Marsden (University of Oxford):
   "Custom hypergraph categories via generalized relations"
* Tarmo Uustalu (Talinn University of Technology):
   "Grading monads, comonads, and distributive laws"

Registration is free. For catering purposes, please email the local
organiser <ross.duncan-3oVnsloLHoGFxr2TtlUqVg@public.gmane.org> as soon as possible if you plan to
attend.

Best wishes,
Chris Heunen and Ross Duncan

[-- Attachment #2.2: Type: text/html, Size: 2072 bytes --]

[-- Attachment #3: Edinburgh University charitable status --]
[-- Type: text/plain, Size: 109 bytes --]

The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.