Notice: In 2025 the UK will be introducing an electronic travel authorisation (ETA) that will affect visitors who have previously travelled to the UK without needing prior authorisation. Please see the venue page for more information.
The 28th International Conference on Theory and Applications of Satisfiability Testing (SAT 2025) will take place August 11-15 at the University of Glasgow in Glasgow, Scotland.
SAT 2025 will be colocated with the 31st International Conference on Principles and Practice of Constraint Programming (CP), the 18th International Symposium on Combinatorial Search (SoCS), and the 23rd International Workshop on Satisfiability Modulo Theories (SMT).
Additionally, the SAT/SMT/AR summer school will take place during the week of 4-8.8 in St. Andrews. More information on the summer school will follow.
These pages will collect all relevant information regarding the conference and will be regularly updated.