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.
We are looking forward to another busy and successful year!