Forthcoming Events

Date/Time

Event

22/07/2019 - 25/07/2019
All Day
SICSA Research Theme Event: QuHackEd
University of Edinbugh
05/08/2019 - 09/08/2019
All Day
Scottish Programming Languages and Verification Summer School
University of Strathclyde
19/08/2019
8:30 am - 4:30 pm
SICSA Cyber Nexus: International Perspectives on Cybercrime
Strathclyde
21/08/2019
10:00 am - 4:00 pm
Stirling Computational Math Day
University of Stirling
09/09/2019
10:00 am - 4:00 pm
First Scottish Seminar on Formal Modelling, Verification and Synthesis
University of Glasgow
10/09/2019 - 12/09/2019
All Day
The 16th International Conference on Quantitative Evaluation of SysTems (QEST 20…
University of Glasgow
04/11/2019
4:00 pm - 7:00 pm
SICSA DemoFest 2019: Bringing Research To Life
Edinburgh