********************* Call for Participation **************

The 23rd International Conference on Theory and Applications of Satisfiability Testing (SAT 2020) 3-10 July 2020 http://sat2020.idea-researchlab.org/

Due to the COVID-19 restrictions, SAT2020 is going virtual

***********************************************************

***SAT 2020*** 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.

***REGISTRATION*** Registration is FREE and REQUIRED for all participants of the virtual conference, including the authors of the accepted papers. REGISTRATION LINK: https://sat2020.idea-researchlab.org/registration/

***PROGRAM*** The SAT 2020 main conference and all the workshops will be held in a virtual manner from 4pm – 8pm, latest (CET) in order to cover all the time zones and allow the widest participation. The conference format is a mix of pre-recorded and asynchronous talks, and live engagement such as Q&A sessions. Full details of the main conference program can be seen here: https://sat2020.idea-researchlab.org/program/ Details on workshops are available here: https://sat2020.idea- researchlab.org/workshops/ https://sat2020.idea-researchlab.org/workshops/

*** INVITED SPEAKERS *** Georg Gottlob, University of Oxford and TU Wien, Austria Aarti Gupta, Princeton University, US

***CONFERENCE SCHEDULE AT A GLANCE*** WORKSHOP DAY, July 3 Pragmatics of SAT (POS)

SAT 2020 DAY 1, July 6 Invited Speaker - Aarti Gupta (Princeton University, US) Q&A Live Sessions

SAT 2020 DAY 2, July 7 Invited Speaker - Georg Gottlob (University of Oxford and TU Wien) Q&A Live Sessions

SAT 2020 DAY 3, July 8 Q&A Live Sessions Competition

WORKSHOP DAY, July 9 QBF Workshop

WORKSHOP DAY, July 10 Model Counting

***ORGANIZATION***

Program Chairs * Luca Pulina, University of Sassari * Martina Seidl, Johannes Kepler University Linz

Workshop Chair * Florian Lonsing, Stanford University

Publicity Chair * Laura Pandolfo, University of Sassari