SICSA Pre-EC Day 2025
Andrew Miller Building, University of Stirling , United KingdomThe SICSA Pre-EC Day will take place on 29 May 2025 at University of Stirling. Find out more, register and submit your extract through our Pre-EC Day page.
2 events found.
Artificial Intelligence & Data Science
SAT/SMT/AR – Summer School 2025
Satisfiability (SAT), Satisfiability Modulo Theories (SMT), and Automated Reasoning (AR) continue to make rapid advances and find novel uses in a wide variety of applications, both in computer science and beyond. The SAT/SMT/AR Summer School aims to bring a select group of students up to speed quickly in this exciting research area. The school continues ... Read more