Theory, Modelling and Computation Research Theme update

by Ekaterina Komendantskaya
24 November 2017

SICSA Theory, Modelling and Computation theme had a busy time in the academic year 2016-17. We funded six events on Theorem Proving, Programming Language Semantics, Categories, Logic and Physics, Algebra and Coalgebra, Combinatorics. The events took place at St Andrews, Strathclyde and Edinburgh universities. The biggest of these events, ALCOPVIII (https://personal.cis.strath.ac.uk/clemens.kupke/ALCOP2017/), was in fact an international annual workshop, and featured international speakers from France, Netherlands, Poland and USA.

ALCOP image
We are looking forward to another busy and successful year!