SAT 2021 : Theory and Applications of Satisfiability Testing

in Conferences   Posted on February 3, 2021 

Conference Information

Submission Deadline Monday 15 Mar 2021 Proceedings indexed by :
Conference Dates Jul 5, 2021 - Jul 9, 2021
Conference Address Barcelona, Spain
Conference & Submission Link https://www.iiia.csic.es/sat2021/
Conference Organizers : ( Deadline extended ? Click here to edit )

Conference Ranking & Metrics (This is a TOP Conference)

Impact Score 2.81
#Contributing Top Scientists 13
#Papers published by Top Scientists 21
Google Scholar H5-index 23
Number of Editions: 24
Guide2Research Overall Ranking: 279
Category Rankings
Computational Theory and Mathematics 26
Proceedings https://link.springer.com/conference/sat
DBLP Page https://dblp.uni-trier.de/db/conf/sat

Conference Call for Papers

Topics include, but are not restricted 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.

Other Conferences in Spain

ICCBR 2021 : International Conference on Case-Based Reasoning

Deadline :
Wed 21 Apr 2021
Sep 11, 2021 - Sep 16, 2021 - Salamanca
Spain

INDIN 2021 : IEEE International Conference on Industrial Informatics

Deadline :
Fri 30 Apr 2021
Jul 21, 2021 - Jul 23, 2021 - Palma de Mallorca
Spain

IPIN 2021 : International Conference on Indoor Positioning and Indoor Navigation

Deadline :
Fri 30 Apr 2021
Oct 4, 2021 - Oct 7, 2021 - Barcelona
Spain

HAIS 2021 : International Conference on Hybrid Artificial Intelligent Systems

Deadline :
Sat 01 May 2021
Sep 22, 2021 - Sep 24, 2021 - Bilbao
Spain

ECMLPKDD 2021 : European Conference on Machine learning and knowledge discovery in databases

Deadline :
Sun 02 May 2021
Sep 13, 2021 - Sep 17, 2021 - Bilbao
Spain