In PersonCCF BCORE A💻 Computer Science & IT
CADE 2027: The Conference on Automated Deduction
📍
Location
Nijmegen, Netherlands
📅
Conference Dates
August 22, 2027 – August 25, 2027
🌐
Website
Visit website →Submission Deadline
February 22, 2027
⚡ 107 days remaining
+ Calendar🔔 Remind me
📖
Paper accepted? Publish in ARC Journals
CrossRef DOI · Open Access · Fast peer review
Submit to ARC Journals →✍️
Preparing your submission?
Polish your paper with Grammarly — trusted by 30M+ researchers
Try Grammarly Free →PromotedComputer Science & IT
International Conference on Artificial Intelligence, Smart Systems and Industry 5.0📍 Bangkok, Thailand📅 Nov 19, 2026 – Nov 20, 2026
Related Computer Science & IT Conferences
Computer Science & IT· In PersonCORE B
ISIT 2027: IEEE International Symposium on Information Theory
Sorrento, ItalyJun 27, 2027 – Jul 2, 2027
Deadline
Jan 10, 2027
64 days remaining
Computer Science & IT· In Person
6th Symposium on Algorithmic Foundations of Dynamic Networks
Paderborn, GermanyJun 30, 2027 – Jul 2, 2027
Deadline
Dec 8, 2026
31 days remaining
Computer Science & IT· In PersonCCF ACORE A*
CAV 2027: International Conference on Computer-Aided Verification
KIT, NetherlandsJul 19, 2027 – Jul 23, 2027
Deadline
Jan 20, 2027
74 days remaining
Browse Subject
All Computer Science & IT conferences →Browse Region
All conferences in Netherlands →