Computer Science & AI Conferences
Upcoming academic conferences and calls for papers — VLDB, ICLR, NeurIPS, IEEE, ACM and more — with submission deadlines, CORE rankings and venues, by subject.
Subject
Research area
Deadline within
More filters: publisher, country, format
Publisher / society
17 conferences · past editions · Computer Science & AI · Theory of Computing
Formal Methods in Computer-Aided Design
Theory of Computing
- Paper deadline
- 11 May 2026
- Event
- 14–18 Sept 2026 · Graz, Austria
International Conference on Concurrency Theory
Theory of Computing
- Paper deadline
- 27 Apr 2026
- Event
- 1–4 Sept 2026 · Liverpool, United Kingdom
European Symposium on Algorithms
Theory of Computing
- Paper deadline
- 23 Apr 2026
- Event
- 31 Aug – 4 Sept 2026 · L'Aquila, Italy
International Conference on Computer-Aided Verification
Theory of Computing
- Paper deadline
- 28 Jan 2026
- Event
- 26–29 Jul 2026 · Lisbon, Portugal
International Joint Conference on Automated Reasoning
Theory of Computing
- Paper deadline
- 15 Feb 2026
- Event
- 26–29 Jul 2026 · Lisbon, Portugal
International Computing and Combinatorics Conference
Theory of Computing
- Paper deadline
- 4 Mar 2026
- Event
- 23–25 Jul 2026 · Singapore, Singapore
IEEE Symposium on Logic in Computer Science
Theory of Computing · IEEE
- Paper deadline
- 22 Jan 2026
- Event
- 20–23 Jul 2026 · Lisbon, Portugal
International Conference on Theory and Applications of Satisfiability Testing
Theory of Computing
- Paper deadline
- 10 Mar 2026
- Event
- 20–23 Jul 2026 · Lisbon, Portugal
EATCS International Colloquium on Automata, Languages, and Programming
Theory of Computing
- Paper deadline
- 6 Feb 2026
- Event
- 6–10 Jul 2026 · London, United Kingdom
IEEE International Symposium on Information Theory
Theory of Computing · IEEE
- Paper deadline
- 16 Jan 2026
- Event
- 28 Jun – 3 Jul 2026 · Guangzhou, China
ACM Symposium on the Theory of Computing
Theory of Computing · ACM
- Paper deadline
- 4 Nov 2025
- Event
- 22–26 Jun 2026 · Salt Lake City, United States
International Symposium on Computational Geometry
Theory of Computing
- Paper deadline
- 2 Dec 2025
- Event
- 2–5 Jun 2026 · New Brunswick, United States
International Conference on Hybrid Systems: Computation and Control
Theory of Computing
- Paper deadline
- 13 Nov 2025
- Event
- 11–14 May 2026 · Saint Malo, France
ACM-SIAM Symposium on Discrete Algorithms
Theory of Computing · SIAM
- Paper deadline
- 14 Jul 2025
- Event
- 11–14 Jan 2026 · Hyatt Regency Vancouver, Canada
IEEE Symposium on Foundations of Computer Science
Theory of Computing · IEEE
- Paper deadline
- 3 Apr 2025
- Event
- 14–17 Dec 2025 · Sydney, Australia
Formal Methods in Computer-Aided Design
Theory of Computing
- Paper deadline
- 27 Apr 2025
- Event
- 6–10 Oct 2025 · Menlo Park, United States
International Conference on Concurrency Theory
Theory of Computing
- Paper deadline
- 9 Apr 2025
- Event
- 26–29 Aug 2025 · Aarhus, Denmark
Deadlines are the paper-submission dates from each conference's own call for papers, gathered from the organisers' sites, ccfddl, AI Deadlines and WikiCFP. Rankings are from CORE and CCF. Organisers move dates — always confirm on the official website before you submit, and be wary of events that promise publication for a fee alone.