Date(s) - 23/06/2014 - 24/06/2014
University of Strathclyde
ScotCats 9 – Fibrations in Computing 2014 (Fibs’14)
* 23 – 24 June 2014, University of Strathclyde, Glasgow
Originally invented in topology, fibrations have evolved into a powerful categorical tool to describe fibres of indexed objects and reindexing between them. In Computer Science, fibrations are used to describe variable binding in Lambda Calculus, quantifiers in logics, dependent types in Type Theory, or even dynamics of transition systems. The goal of this workshop is to catch up with what each of us is doing, to learn from each others techniques and, most importantly, to chart ideas for future development and interaction.
The workshop will take place in the University of Strathclyde in Glasgow on the 23. and 24. June 2014. If there is an interest in attending our small workshop, please let us know at one of the email addresses below, indicating if you would like to give a talk. We are always happy to find more souls sharing our enthusiasm for fibrations.
More information can be found on the associated web page