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


The list of workshops co-located with the SAT conference are as follows: For the Workshop Venue, Room location and options of where to eat, please check the information bellow.

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


Workshops Venue

The SAT 2019 Workshops will take place at Informática buildings of the Instituto Superior Técnico (IST/UL) of the University of Lisbon. The university of Lisbon was founded in 1911 and it is known to be the largest university in Portugal. Instituto Superior Técnico (IST/UL), well known by its short name “Técnico”, is the most reputed school of Engineering, Science and Technology in Portugal.

Located in one of the central-most parts of Lisbon, the Alameda campus benefits from a transport network that facilitates mobility to all the areas of the city. In its vicinity, there are many shopping, leisure, culture, entertaining and sports areas. Alameda Campus is located at a convenient distance from hotels, restaurants and diverse cultural sites. Being close to the centre of Lisbon, Instituto Superior Técnico (IST/UL), is easily reached by metro, bus, taxi or car from any location in town, including the airport, which is only 10 minute taxi ride.

Workshop Room Location

The SMT workshop will be held in building #10, while all other workshops will take place in building #7 (see map below):

Where to eat

The Alameda campus of IST is located in the city center and there are several restaurants available at walking distance. On Sunday, several restaurants can be closed. A safe option would be the Campo Pequeno shopping mall (12 minutes walking - see map below). The shopping mall is a big round building in the center of the Campo Pequeno square. It has several restaurants on the outside, and a food court downstairs with a large variety of choices (including vegetarian and vegan options).

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