The aim of the pragmatics of SAT workshop is to allow researchers concerned with the design of efficient SAT solvers at large or SAT encodings to meet and discuss about their latest results. The workshop is also the place for users of SAT technology to present their applications.

The workshop is a co-located event of the SAT conference. It is also a workshop of the Federated Logic Conference (FLoC).

For any questions related to the workshop, the preferred solution to contact the organizers is to send an email to pos at

The Pragmatics of SAT (PoS) series of workshops was initiated by Daniel Le Berre and Allen Van Gelder. It is currently managed by Matti Järvisalo and Daniel Le Berre.