Date(s) - 05/04/2017
10:00 am - 5:00 pm
University of Strathclyde
The SICSA Research Theme Theory, Modelling & Computation is pleased to be sponsoring the Categories, Logic and Physics (CLAP) Scotland event again. It will take place on Wednesday 5 April at the University of Strathclyde.
CLAP Scotland is a forum for applications of category theory and logic to physics and computer science, that aims to maintain and enhance the cohesion of Scottish research in these areas. The meetings provide an informal atmosphere where participants can easily interact. They are open, and all are welcome to attend, in particular research students. This is a continuation of the series of CLAP workshops in the greater London area held biannually 2008-2010, and of the Scottish Category Theory seminar that ran biannually 2009-2014, and we encourage the same friendly and open atmosphere. If you would like to host a meeting or give a talk, contact Chris Heunen.
The programme will be:
- 10:00: Coffee
- 10:30: Kevin Dunne (University of Strathclyde)
- 11:10: Chris Heunen (University of Edinburgh)
- 11:50: Fabio Zanasi (University College London)
- 12:30: Lunch
- 14:00: Aleks Kissinger (Radboud University)
- 14:40: Stefano Gogioso (University of Oxford)
- 15:20: Tea
- 15:40: Peter Hines (University of York)
- 16:20: Clemens Kupke (University of Strathclyde)
- 17:00: Pub
Registration is free, but for catering purposes please email the local organiser Ross Duncan as soon as possible if you plan to attend.
You might also be interested in the workshop on Algebra and Coalgebra meet Proof Theory held at the University of Strathclyde on April 10-12.