coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] [Call for Participation] SAT 2020 - The 23rd International Conference on Theory and Applications of Satisfiability Testing
Chronological Thread
- From: Laura Pandolfo <lpandolfo AT uniss.it>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] [Call for Participation] SAT 2020 - The 23rd International Conference on Theory and Applications of Satisfiability Testing
- Date: Tue, 16 Jun 2020 19:48:18 +0200
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=lpandolfo AT uniss.it; spf=Pass smtp.mailfrom=lpandolfo AT uniss.it; spf=None smtp.helo=postmaster AT mail-wm1-f41.google.com
- Ironport-phdr: 9a23:m7srGx296EhKc6BlsmDT+DRfVm0co7zxezQtwd8ZseIRKPad9pjvdHbS+e9qxAeQG9mCtrQd1LKd6vi7EUU7or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRpOOv1BpTSj8Oq3Oyu5pHfeQpFiCe9bL9oMRm7rxndusYLjYd+JKs61wfErGZPd+lK321jOEidnwz75se+/Z5j9zpftvc8/MNeUqv0Yro1Q6VAADspL2466svrtQLeTQSU/XsTTn8WkhtTDAfb6hzxQ4r8vTH7tup53ymaINH2QLUpUjms86tnVBnlgzoBOjUk8m/Yl9Zwgbpbrhy/uhJxwIDab4+aO/ViZa7SZ88WSHBbU8pNWSFMAIWxZJYPAeobOuZYqpHwqV0UohujHwmjHv7kxCVSiX/wwKI61OAhEQ/B3Ac9GN8OtGzUo8/zNKgPVuC1yKfIzTLYYvNL3zf96ZPIcgs7rfGNQbJ9aMzcwlQgGA3ZlFufs5DlPy+L2eQXtWiW9+VuWOKyhmMjqgx9vDyiy9swhoXXiY8Y11LJ+Dl5zYs2ONC1VkB2bNGkHZVQty+WKZd7T8IgTmxmtys3y6AKtJG9cSMXxponwBvfZOaGc4iO+h/jVfueLilii358YrKwmQ2y/la6xe3mSsa00FJKoTBendXWsXANzRPT586aQfV+5keswSiD2xzX5+1eIk05lbDXJ4M/zrMzjJYevlnPEjfolEnsgqKbcl8o9van5unneLnrppuROolpgQ/kKKsugNawAeEgPwgOQWeb/eO82aXm/ULjQbVKiuQ6k6fcsJzHPMgbqKG0DxJP3oYs7Ba/CDim0NAGknUdMF1FfxeHg5DoO1HIPv/4Ee+yj0qwnDpv3fzLPb3sDo/QInTdk7rtZ7lw51NExAo2199f5pZUCr8bIPL0X0/8rNjYDgcjPAyy3unnD9F91o0ZWW+UH6+ZNqLSsUST5u41IumMeJcZuCzhJPg9+/7ukXg5lEcBcqmuxJsbcWy3HvB7I0qCenfsmdcAEWISvgUkVuDqiVuCUSRSZ3moRa486Cs7W8qaCtLIQZnoi7ic1g+6GIdXbyZIEAOiC3DtIqGNRu0FIBqbJMNmljIDHeylU4Yn2RaqugjS1rxmNfGS+zFO5sGr78R8++CGzUJ6zjdzFcnIizjQHVExpXsBQnoN5I46oUF5zQ3eg61xgvgdCtkKov0VC0E1MpnTy+E8ANf3CFqYIoW5DW2+S9DjOgkfC8oryoZWMVt7Gs65yBHfjXLzUu0l0oeTDZlxyZrymn34JsJz0XHDjfFzkl8nWdAJNHH036M=
*********************
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
--
- [Coq-Club] [Call for Participation] SAT 2020 - The 23rd International Conference on Theory and Applications of Satisfiability Testing, Laura Pandolfo, 06/16/2020
Archive powered by MHonArc 2.6.19+.