[DMANET] 17th International Workshop on Pragmatics of SAT (PoS 2026)

------------------------------------------------------------------------------------ 17th International Workshop on Pragmatics of SAT (PoS 2026) ------------------------------------------------------------------------------------ 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 restricted 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. PoS 2026 will be co-located with the 29th International Conference on Theory and Applications of Satisfiability Testing (SAT 2026) and the Federated Logic Conference (FLoC 2026) in Lisbon, Portugal. Workshop Website: https://www.pragmaticsofsat.org/2026/ Paper submission deadline: May 7, 2026 Notification to authors: June 1, 2026 Workshop Date: July 19, 2026 Topics of interest include, but are not limited to: + Efficient data structures + Techniques for debugging or certifying solvers + Visualization of benchmarks structure + Monitoring solver behavior + Evaluation of solvers + Domain specific encodings and heuristics + Solver API + System and library description + New (successful) application of constraint-based technologies + New (potential) use cases of constraint-based technologies + Constraint solving and machine learning + Scaling using multi-core or distributed technology + Reflection on past and projection of future of applied SAT research Submissions must be made electronically, through HotCRP (https://submissions.floc26.org/pos), as a PDF using the CEURART one column style (https://ceur-ws.org/Vol-XXX/CEURART.zip). Submission categories include original papers (including papers submitted to a main FLoC conference such as SAT that did not make it), work-in-progress papers (less mature works for which gathering feedback from the community is desired), and presentation-only submissions (covering recently accepted or published relevant works). Submissions will be reviewed by the program committee, which will select a balanced program of high quality contributions. If a sufficient number of original papers are accepted for the workshop, we plan to publish the proceedings of the workshop via CEUR-WS proceedings, possibly by joining forces with another, related FLoC workshop. More information is available on the workshop's web page: https://www.pragmaticsofsat.org/2026/ Bart Bogaerts and Dominik Schreiber (PoS 2026 PC Chairs) ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************