<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>
<p><font face="Courier New, Courier, monospace">*********************
Call for Participation **************<br>
<br>
The 23rd International Conference on<br>
Theory and Applications of Satisfiability Testing (SAT 2020)<br>
3-10 July 2020<br>
<a href="http://sat2020.idea-researchlab.org/">http://sat2020.idea-researchlab.org/</a><br>
<br>
Due to the COVID-19 restrictions, SAT2020 is going virtual<br>
<br>
***********************************************************<br>
<br>
***SAT 2020***<br>
The International Conference on Theory and Applications of
Satisfiability <br>
Testing (SAT) is the premier annual meeting for researchers
focusing on the <br>
theory and applications of the propositional satisfiability
problem, broadly <br>
construed. In addition to plain propositional satisfiability, it
also includes <br>
Boolean optimization (such as MaxSAT and Pseudo-Boolean (PB) <br>
constraints), Quantified Boolean Formulas (QBF), Satisfiability
Modulo <br>
Theories (SMT), and Constraint Programming (CP) for problems
with clear <br>
connections to Boolean-level reasoning.<br>
<br>
<br>
***REGISTRATION***<br>
Registration is FREE and REQUIRED for all participants of the
virtual <br>
conference, including the authors of the accepted papers.<br>
REGISTRATION LINK: <a
href="https://sat2020.idea-researchlab.org/registration/">https://sat2020.idea-researchlab.org/registration/</a><br>
<br>
<br>
***PROGRAM***<br>
The SAT 2020 main conference and all the workshops will be held
in a virtual <br>
manner from 4pm – 8pm, latest (CET) in order to cover all the
time zones <br>
and allow the widest participation. The conference format is a
mix of pre-recorded <br>
and asynchronous talks, and live engagement such as Q&A
sessions. <br>
Full details of the main conference program can be seen here: <br>
<a href="https://sat2020.idea-researchlab.org/program/">https://sat2020.idea-researchlab.org/program/</a><br>
Details on workshops are available here: <a
href="https://sat2020.idea-researchlab.org/workshops/">https://sat2020.idea-<br>
researchlab.org/workshops/</a><br>
<br>
<br>
*** INVITED SPEAKERS ***<br>
Georg Gottlob, University of Oxford and TU Wien, Austria<br>
Aarti Gupta, Princeton University, US<br>
<br>
<br>
***CONFERENCE SCHEDULE AT A GLANCE***<br>
WORKSHOP DAY, July 3<br>
Pragmatics of SAT (POS)<br>
<br>
SAT 2020 DAY 1, July 6<br>
Invited Speaker - Aarti Gupta (Princeton University, US)<br>
Q&A Live Sessions<br>
<br>
SAT 2020 DAY 2, July 7<br>
Invited Speaker - Georg Gottlob (University of Oxford and TU
Wien)<br>
Q&A Live Sessions<br>
<br>
SAT 2020 DAY 3, July 8<br>
Q&A Live Sessions<br>
Competition<br>
<br>
WORKSHOP DAY, July 9<br>
QBF Workshop<br>
<br>
WORKSHOP DAY, July 10<br>
Model Counting <br>
<br>
<br>
***ORGANIZATION***<br>
<br>
Program Chairs<br>
* Luca Pulina, University of Sassari<br>
* Martina Seidl, Johannes Kepler University Linz<br>
<br>
Workshop Chair<br>
* Florian Lonsing, Stanford University<br>
<br>
Publicity Chair<br>
* Laura Pandolfo, University of Sassari</font></p>
</body>
</html>
<br>
<div><span style="background-color:white;color:rgb(34,34,34);font-family:arial,sans-serif;font-size:12.8px"><br>--</span></div><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:12.8px;background-color:white"><b>Dona il 5x1000</b> all'Università degli Studi di Sassari</span><div><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:12.8px;background-color:white">codice fiscale: 00196350904</span></div>