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.

All information can be found on the workshop website:http://www.pragmaticsofsat.org/2026/

Important Dates

• Paper submission deadline: May 7, 2026
• Notification to authors: June 1, 2026
• Workshop: July 19, 2026