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, … Read more