BLOCKCHAINIST
Sign in
  1. Venues
  2. Conferences
  3. SAT
ACORE
ConferenceTop tier

SAT

International Conference on Theory and Applications of Satisfiability Testing

Calls for papers (WikiCFP) Papers on DBLP Search the web

Metrics

CORE rank
A
CORE / ICORE
CCF rank
B
China Computer Federation
Editions tracked
13
Running since
2008

About SAT

Full name
International Conference on Theory and Applications of Satisfiability Testing
Subfields
Theory, Artificial Intelligence
Field of research
Artificial intelligence (FoR 4602)
Latest edition
Lisbon, Portugal, 2026
AI & machine learningTheory & algorithms

DeadlinesSubmission dates change every year. Find the current call for papers on WikiCFP or the conference site, and check the time zone (most use Anywhere on Earth, UTC-12).

Similar conferences

  1. ACOREconferenceTop tierCCF B

    CIKMACM International Conference on Information and Knowledge Management

    Rome, Italy, 2026 · Data Mining, Data Science, Information Systemsh5-index 146
  2. ACOREconferenceTop tierCCF B

    WSDMACM International Conference on Web Search and Data Mining

    Hong Kong, Hong Kong, 2027 · Data Science, Data Mining, Artificial Intelligenceh5-index 142
  3. ACOREconferenceTop tierCCF B

    NAACLNorth American Association for Computational Linguistics

    San Francisco, USA, 2027 · Artificial Intelligence, Natural Language Processing, Computer Visionh5-index 133
  4. ACOREconferenceTop tierCCF B

    INTERSPEECHInterspeech (combined EuroSpeech and ICSLP in 2000)

    São Paulo, Brazil, 2027 · Speech & Signal Processing, Artificial Intelligence, Computer Visionh5-index 100
  5. ACOREconferenceTop tierCCF B

    MICCAIMedical Image Computing and Computer-Assisted Intervention

    São Paulo, Brazil, 2028 · Interdisciplinary, Artificial Intelligence, Computer Visionh5-index 78
  6. ACOREconferenceTop tierCCF B

    UAIConference in Uncertainty in Artificial Intelligence

    Amsterdam, The Netherlands, 2026 · Artificial Intelligence, Machine Learning, Computer Visionh5-index 33

Figures as of the last import; ranks are a guide, not a verdict. Back to all conferences