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 the successful line of Summer Schools that ran from 2011 to 2024.
The summer school will take place from Wednesday the 6th to Friday the 8th of August. It will precede the following conferences:
Applications will open soon.
Lectures will take place at the North Haugh
University of St Andrews
North Haugh
St Andrews
KY16 9SU
The definitive rooms will be updated in due time.
St Andrews town is located on the east coast of Scotland within the Kingdom of Fife, and can be easily reached from a number of nearby cities using public transport, road and private transfers. There are a choice of airports to fly into from international locations, and all have good links with the town. You can find more information on how to get to St Andrews here.
If you require an invitation letter to apply for a visa or you have any other question, contact the school organisers.
photos: Visual Communications - The University of St Andrews CC BY-NC 4.0