The Coq mailing list

[Laura Pandolfo <lpandolfo AT uniss.it>]

********************* 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/


*** 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

--

Dona il  5x1000 all'Università degli Studi di Sassari

codice fiscale: 00196350904