Workshops and Doctoral Program

Information regarding different workshops and the doctoral program will be published here once available.

Pragmatics of SAT

The aim of the Pragmatics of SAT (PoS) workshop series is to provide a venue for researchers working on designing and/or applying Boolean satisfiability (SAT) solvers and related solver technologies, including but not restricting to satisfiability modulo theories (SMT), answer set programming (ASP), and constraint programming (CP) as well as their optimization counterparts, to meet, communicate, and discuss latest results.

Organizers: Mikoláš Janota, and Aina Niemetz
Webpage: https://www.pragmaticsofssat.org/2025/