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

CADE

International Conference on Automated Deduction

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

Metrics

CORE rank
A
CORE / ICORE
CCF rank
B
China Computer Federation
Editions tracked
10
Running since
2009

About CADE

Full name
International Conference on Automated Deduction
Subfields
Artificial Intelligence, Computer Vision, Theory
Field of research
Artificial intelligence (FoR 4602)
Latest edition
Nijmegen, Netherlands, 2027
AI & machine learningVision, graphics & mediaTheory & 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