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/ ]