15th International Workshop on Pragmatics of SAT (PoS 2025)
-------------------------------------------------------------------------------------
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.
PoS 2025 (http://www.pragmaticsofsat.org/2025/) will be co-located with the
28th International Conference on Theory and Applications of Satisfiability
Testing (SAT 2025) and the 31st International Conference on Principles and
Practice of Constraint Programming (CP 2025).
Workshop Website: http://www.pragmaticsofsat.org/2025/
Workshop Location: Gilmorehill Campus, Glasgow, UK
Workshop Date: August 10, 2025
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
+ Domain specific 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
(position papers and talks are both welcome)
Submissions must be made electronically, through EasyChair (
https://easychair.org/conferences/?conf=pos25), as a PDF using the CEURART
one column style (https://ceur-ws.org/Vol-XXX/CEURART.zip).
Submission categories:
- Original Papers
- Work-in-Progress Papers
- Presentation-Only Papers
- SAT/CP Fast Track
Original papers are expected to describe original work, including papers
whose focus might be too narrow to be published in a conference. Both short
original papers (up to 8 pages, excl. references) and long original papers
(8-15 pages, excl. references), including system descriptions of SAT and
related solver technologies are welcome.
Work-in-Progress papers are expected to describe less mature work, to
gather feedback from the community. This may include papers submitted to
conferences or journals, which should be clearly stated in the paper.
Presentation-Only papers are expected to describe work that was recently
accepted or published at another conference or a journal but may have been
missed by the community (including, e.g., domain-specific applications of
declarative solvers at the respective domain-specific conferences).
Submissions to this category will be evaluated only on their relevance to
the workshop.
Additionally, as in 2024, we offer a Fast Track category for original
papers on topics related to PoS that did not make it to SAT 2025 and CP
2025. Such papers will have the opportunity to be submitted late, as
original papers. In this case, reviewing for PoS will also consider the
SAT/CP reviews.
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 (6+), post-proceedings in
CEUR-WS Proceedings will be published.
Important Dates:
Abstract submission deadline: May 5, 2025 (all submissions except SAT/CP
fast track)
Paper submission deadline: May 12, 2025
SAT/CP fast track submission deadline: June 1, 2025 (no separate abstract
registration is needed)
Notification to authors: June 20, 2025
Workshop: August 11, 2025
More information is available on the workshop's web page:
http://www.pragmaticsofsat.org/2025/
**********************************************************
*
* 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/
*
**********************************************************
Posts
