Pragmatics of SAT international workshops

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).

• First edition: Edinburgh (FLoC 2010) ( Proceedings)
• Second edition: Michigan (SAT 2011)
• Third edition: Trento (SAT 2012)
• Fourth edition: Helsinki (SAT 2013) ( Proceedings)
• Fifth edition: Vienna (FLoC 2014) ( Proceedings)
• Sixth edition: Austin (SAT 2015) ( Proceedings)
• Seventh edition: Bordeaux (SAT 2016)
• Pragmatics of Constraint Reasoning edition: Melbourne (ICLP/CP/SAT 2017)
• Ninth edition: Oxford (FLoC 2018) ( Proceedings)
• Tenth edition: Lisbon (SAT 2019)
• Eleventh edition: online (SAT 2020)
• Twelfth edition: online (SAT 2021)
• Thirteenth edition: Israel (FLoC 2022)
• Fourteenth edition: Alghero (SAT 2023) ( Proceedings)
• Fifteenth edition: Pune (SAT 2024)
• Sixteenth edition: Glasgow (SAT 2025) ( Proceedings)

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

The Pragmatics of SAT (PoS) series of workshops was initiated by Daniel Le Berre and Allen Van Gelder in 2010. It has been managed by Matti Järvisalo and Daniel Le Berre from 2018 to 2023.

In October 2023, after 14 editions of the workshop, a steering committee has been designated to manage the future of the workshop. The steering committee members are Armin Biere, Marijn Heule, Matti Järvisalo, Daniel Le Berre (chair) and Inês Lynce.

In this new setting, the PC chairs of PoS are:

2024

Katalin Fazekas and Alexey Ignatiev

2025

Mikoláš Janota and Aina Niemetz

2026

Bart Bogaerts and Dominik P. Schreiber