[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
CATEGORIES LOGIC AND PHYSICS SCOTLAND
CALL FOR PARTICIPATION
Monday 20 November 2017
School of Informatics, University of Edinburgh
http://conferences.inf.ed.ac.uk/clapscotland/
Following three successful earlier meetings, we are pleased to announce the
fourth workshop in the CLAP Scotland series, and invite you to participate.
Confirmed speakers include:
* Danel Ahman (INRIA Paris)
* Bob Coecke (University of Oxford)
* Ross Duncan (University of Strathclyde)
* Christian Korff (University of Glasgow)
* Tom Leinster (University of Edinburgh)
* Noam Zeilberger (University of Birmingham)
Registration is free. For catering purposes, please email the local
organiser <chris.heu...@ed.ac.uk> if you plan to attend. We look forward
to seeing you in Edinburgh!
Best wishes,
Chris Heunen and Ross Duncan
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.
