UpcomingCCF BCORE A
CADE
The Conference on Automated Deduction
Dates
22.08.2027 – 25.08.2027
Venue
Nijmegen
Netherlands
Paper submission deadline
22.02.2027
Detailed information
- Scientific field
- Computer Science
- Subfield
- Computer Science Theory
- Country
- Netherlands
- CCF ranking
- B
- CORE ranking
- A
- Prestige
- Top-tier
Contact information
- Official website
- fscd-cade.science.ru.nl
The Conference on Automated Deduction (CADE) — an international scientific conference in the field of Computer Science. One of the most prestigious conferences in the field.
CORE ranking: A — excellent quality, top 20%. CCF ranking: B — important conference.
The 2027 edition takes place in Nijmegen, Netherlands. Paper submission deadline: 22.02.2027.
Similar conferences
18th International Conference on Security of Information and Networks
SINCONF 2026Turkey14.10.2026
International Conference on Machine Vision
ICMVCORE CHungary15.10.2026
International Conference on Intelligent Infrastructure and Smart Technologies
ICIST-2026Uzbekistan16.10.2026
The 8th World Symposium on Software Engineering
ACM WSSEJapan16.10.2026
CAAI International Conference on Artificial Intelligence
CICAIChina17.10.2026
Digital Forensic Research Workshop Asia Pacific
DFRWS APACCCF CSingapore19.10.2026