Categories Logic And Physics Scotland

[Chris Heunen <chris.heunen@ed.ac.uk>]

CATEGORIES LOGIC AND PHYSICS SCOTLAND
Thursday 14 April 2016
School of Informatics, University of Edinburgh
http://homepages.inf.ed.ac.uk/cheunen/clapscotland/

Programme:
* Stefano Gogioso (University of Oxford):
   Fully graphical treatment of the Hidden Subgroup Problem
* Sean Tull (University of Oxford):
   Operational physics, logic and categories
* Sander Uijlen (Radboud University):
   Indefinite causal structures using diagrammatic methods
* Nick Behr (University of Edinburgh):
   Graph rewriting and combinatorial Hopf algebra
* Mark Lawson (Heriot-Watt University):
   Inverse semigroups and etale groupoids
* Bob Atkey (University of Strathclyde):
   From parametricity to conservation laws, via Noether's theorem
* Christian Saemann (Heriot-Watt University):
   Categorical description of gauge theory
* Gwendolyn Barnes (Heriot-Watt University):
   A category and topos theoretic framework for noncommutative and
nonassociative geometry

Thanks to financial support from the Scottish Informatics and Computer
Science Alliance, registration is free. For catering purposes, please email
the local organiser <chris.heunen@ed.ac.uk> as soon as possible when
you plan to attend.

Best wishes,
Chris Heunen
Ross Duncan


[For admin and other information see: http://www.mta.ca/~cat-dist/ ]