SAT: Theory and Applications of Satisfiability Testing

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2024 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
SAT 2023 The 26th International Conference on Theory and Applications of Satisfiability Testing
Jul 4, 2023 - Jul 8, 2023 Alghero, Italy Mar 17, 2023 (Mar 10, 2023)
SAT 2022 25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022)
Aug 2, 2022 - Aug 5, 2022 Haifa, Israel Feb 28, 2022 (Feb 21, 2022)
SAT 2020 Theory and Applications of Satisfiability Testing
Jul 5, 2020 - Jul 9, 2020 Alghero, Italy Feb 29, 2020 (Feb 22, 2020)
SAT 2018 Theory and Applications of Satisfiability Testing
Jul 9, 2018 - Jul 12, 2018 Oxford, UK Feb 7, 2018 (Jan 31, 2018)
SAT 2017 20th International Conference on Theory and Applications of Satisfiability Testing
Aug 28, 2017 - Sep 1, 2017 Melbourne, Australia May 2, 2017 (Apr 26, 2017)
SAT 2016 International Conference on Theory and Applications of Satisfiability Testing
Jul 5, 2016 - Jul 8, 2016 Bordeaux, France Feb 21, 2016 (Feb 14, 2016)
SAT 2015 18th International Conference on Theory and Applications of Satisfiability Testing
Sep 24, 2015 - Sep 27, 2015 Austin, Texas, USA Apr 29, 2015 (Apr 22, 2015)
SAT 2013 International Conference on Theory and Applications of Satisfiability Testing
Jul 8, 2013 - Jul 12, 2013 Helsinki, Finland Feb 8, 2013 (Feb 1, 2013)
SAT 2008 Conference on Theory and Applications of Satisfiability Testing
May 12, 2008 - May 15, 2008 Guangzhou, P. R. China Jan 11, 2008
 
 

Present CFP : 2023

The 26th International Conference on Theory and Applications of
Satisfiability Testing (SAT 2023)

Alghero, Italy, July 4-8, 2023.

http://satisfiability.org/SAT23/

======================================
IMPORTANT DATES
======================================

* Abstract Submission: March 10, 2023

* Paper Submission: March 17, 2023

* Author Response: April 26 – April 30, 2023

* Author Notification: May 15, 2023

======================================
SCOPE
======================================

SAT is the premier annual meeting for researchers focusing on the
theory and applications of propositional satisfiability, broadly
construed. That includes Boolean optimization, such as MaxSAT and
Pseudo-Boolean (PB) constraints, Quantified Boolean Formulas (QBF),
Satisfiability Modulo Theories (SMT), model counting, and Constraint
Programming (CP) for problems with clear connections to Boolean-level
reasoning. Topics of interest include (but are not limited to):

- Theoretical advances (including algorithms, proof complexity,
parameterized complexity, and other complexity issues)
- Practical search algorithms
- Knowledge compilation
- Implementation-level details of SAT solving tools and SAT-based systems
- Problem encodings and reformulations
- Applications (including both novel applications domains and
improvements to existing approaches)
- Case studies and reports on insightful findings based on rigorous
experimentation

======================================
SUBMISSION
======================================

Submissions to SAT 2023 are invited in the following three categories:

* Long papers (9 to 15 pages, excluding references)

* Short papers (up to 8 pages, excluding references)

* Tool papers (up to 8 pages, excluding references)

Papers must be formatted in the LIPIcs LaTeX style. Submissions must
be made electronically under the following link:

https://easychair.org/conferences/?conf=sat2023

======================================

For further information, please see the detailed call for papers on
the SAT 2023 website:

http://satisfiability.org/SAT23/pages/cfp.html
 

Related Resources

EI-CFAIS 2023   2023 International Conference on Frontiers of Artificial Intelligence and Statistics (CFAIS 2023)
ICoCTA 2023   2023 4th International Conference on Control Theory and Applications (ICoCTA 2023)
IEEE COINS 2023   IEEE COINS 2023 - Berlin, Germany - July 23-25 - Hybrid (In-Person & Virtual)
ECTA 2023   15th International Conference on Evolutionary Computation Theory and Applications
ACM-Ei/Scopus-CWCBD 2023   2023 4th International Conference on Wireless Communications and Big Data (CWCBD 2023) -EI Compendex
Distributed ML and Opt. 2023   Distributed Machine Learning and Optimization: Theory and Applications
JCRAI 2023-Ei Compendex & Scopus 2023   2023 International Joint Conference on Robotics and Artificial Intelligence (JCRAI 2023)
NCTA 2023   15th International Conference on Neural Computation Theory and Applications
FCTA 2023   15th International Conference on Fuzzy Computation Theory and Applications
ACM-EI/Scopus-ITCC 2023   2023 3rd International Conference on Information Technology and Cloud Computing (ITCC 2023) -EI Compendex