Welcome Dates Committees CFP Workshops Proceedings Competitions Speakers Summer-School Registration Venue


The list of workshops co-located with the SAT conference are as follows:

Workshop on Satisfiability Modulo Theories

The SMT Workshop is focused on bringing together researchers and users of tools and techniques for satisfiability modulo theories. Relevant topics include but are not limited to:

For further information, please visit the SMT workshop website: http://smt2019.galois.com/

Workshop Dates:July 7th-8th 2019


QBF Workshop

The goal of the International Workshop on Quantified Boolean Formulas (QBF Workshop) is to bring together researchers working on theoretical and practical aspects of QBF solving. In addition to that, it addresses (potential) users of QBF in order to reflect on the state-of-the-art and to consolidate on immediate and long-term research challenges. In particular, the following topics shall be considered at the workshop: 1) Directions of Solver Development 2) Certificates 3) Applications, and 4) Community platform and repository.

For further information, please visit the QBF workshop website: http://fmv.jku.at/qbf19/

Workshop Date:July 7th 2019


6th Vampire Workshop

The workshop aims at discussing recent developments in implementing, applying benchmarking and comparing first-order theorem provers and their combinations with other systems.

Workshop participants will include both Vampire developers and users and provides a convenient opportunity for interesting discussions between tool developers and users. The users can learn more about Vampire and its recent developments. The developers can learn more about the use of Vampire, its efficiency in various application areas and needs of the users.

For further information, please visit the Vampire Workshop website: https://easychair.org/smart-program/Vampire2019/

Workshop Date:July 7th 2019


Pragmatics of SAT

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. This workshop allows researchers to share both fundamental theoretical insights into practical solvers, as well as new implementation-level insights and ‘gory’ technical details about their systems that may at times be difficult to publish in the main conferences on the declarative solving paradigms.

For further information, please visit the Pragmatics of SAT workshop website: http://www.pragmaticsofsat.org/2019/

Workshop Date:July 8th 2019


Workshop on Logic and Search

The LaSh Workshops on Logic and Search are devoted to the study, from the point of view of logic, of declarative languages for defining or representing search and optimization problems, problem-solving systems that use these languages, and related issues regarding reductions, search algorithms, problem transformations, and others.

For further information, please visit the LaSh 2019 workshop website: http://www.logicandsearch.org/LaSh2019/

Workshop Date:July 8th 2019


Call for Workshops

The International Conference on Theory and Applications of Satisfiability Testing (SAT) is the premier annual meeting for researchers focusing on the theory and applications of the propositional satisfiability problem, broadly construed. In addition to plain propositional satisfiability, it also includes Boolean optimization (such as MaxSAT and Pseudo-Boolean (PB) constraints), Quantified Boolean Formulas (QBF), Satisfiability Modulo Theories (SMT), and Constraint Programming (CP) for problems with clear connections to Boolean-level reasoning.

We invite proposals for workshops associated to the main conference program of SAT 2019, which will be held in Lisbon (Portugal) from July 7 to July 12, 2019.

Submission of Workshop Proposals

Proposals should be submitted in pdf format to the following address: workshops@sat2019.tecnico.ulisboa.pt.

Proposals should consist of two parts. First, a short scientific justification of the proposed topic, its significance, and the particular benefits of the workshop to the community, as well as a list of previous or related workshops (if relevant). A second, organizational part should include:

Important Dates

Contact Information

Questions regarding workshop proposals should be sent to workshops@sat2019.tecnico.ulisboa.pt.

SAT 2019 Workshop Chair
Vasco Manquinho
INESC-ID, IST - Universidade de Lisboa, Portugal