[TYPES/announce] Categories Logic and Physics Scotland 5 April 2017

[Chris Heunen]

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

Following our successful meetings last year, we are pleased to announce the
third workshop in the CLAP Scotland series, and invite you to participate.

Programme:
* Kevin Dunne (University of Strathclyde):
  "Infinite-Dimensional Categorical Quantum Mechanics, Spectra, and
Contextuality"
* Chris Heunen (University of Edinburgh):
  "The category of Hilbert modules"
* Peter Hines (University of York):
  "Diagrams and Coherence Theorems in Cryptography and Cryptanalysis"
* Aleks Kissinger (Radboud University):
  "A categorical semantics for causal structure"
* Clemens Kupke (University of Strathclyde):
  "Games for topological fixpoint logics"
* Fabio Zanasi (University College London):
  "A new foundation for string diagram rewriting: adequacy, confluence,
commutativity"

Registration is free. For catering purposes, please email the local
organiser <ross.duncan at strath.ac.uk> as soon as possible if you plan to
attend.

Best wishes,
Chris Heunen and Ross Duncan
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20170328/814f7768/attachment.html>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: not available
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20170328/814f7768/attachment.ksh>