These reports are from the workshops and events supported by the SICSA Theory, Modelling and Computation Research Theme.
- Scottish Programming Languages Seminar February 2016
- Scottish Programming Languages Seminar November 2016
- Categories, Logic And Physics Scotland April 2016
- Scottish Combonatorics Meeting April 2017
- Categories, Logic And Physics Scotlands April 2016
- Scottish Combinatronics Meeting 2018
- Data Driven Modelling and Analysis of Complex Systems (DDMACS)
- The Royal Society of Edinburgh Symposium on City Analytics
- Scottish Programming Languages Seminar October 2018
- Second Symposium on Compositional Structures (SYCO 2)
- Scottish Theorem Proving Meeting
- Stirling Computation Day
- Scottish Seminar on Formal Modelling, Verification and Synthesis (SFMoVeS’19)
- Scottish Theorem Proving Meeting 2019
- SICSA Programming Challenge Report 2020
- SICSA Programming Challenge Report October 2020
- SICSA Programming Challenge 2023
The Research Theme leaders for Theory, Modelling and Computation are Dr Clemens Kupke and Dr Lilia Georgieva.
Please complete a proposal and email to admin@sicsa.ac.uk if you wish to organise a theme activity or event in this area.