Skip to content
Research publication

Research Conferences

Upcoming academic conferences and calls for papers — VLDB, ICLR, NeurIPS, IEEE, ACM and more — with submission deadlines, CORE rankings and venues, by subject.

All higher studies topics

Subject

All subjects Computer Science & AI 349 Medicine & Health 2 Business, Economics & Management 1 Life Sciences & Biology 1

Research area

All areasSystems & Architecture 52Security & Privacy 49Software Engineering 45Graphics & Multimedia 33Artificial Intelligence 27Computer Networks 26Databases & Data Mining 21Machine Learning 18Interdisciplinary Computing 17Theory of Computing 17Human-Computer Interaction 15Computer Vision 10
9 more
Natural Language Processing 10Robotics 4Information Retrieval & Web 3Biotechnology 1Healthcare 1Management 1Public Health 1Signal Processing 1Speech & Audio 1
More filters: publisher, country, format

Publisher / society

Any publisherIEEE 63ACM 52ACM / IEEE 5PMLR 5ACL 4USENIX 4IEEE / CVF 3IFIP 3AAAI 2IJCAI 2Springer 2VLDB Endowment 2
6 more
ISCA 1Internet Society 1NeurIPS Foundation 1OpenReview 1RSS Foundation 1SIAM 1

Country

All countriesUnited States 65China 36Italy 25Australia 20South Korea 20Canada 16United Kingdom 16Germany 13Portugal 12India 9France 8Japan 8
28 more
Austria 7Brazil 7Singapore 7Netherlands 6Spain 5Taiwan 5Turkey 5Belgium 4Czechia 4Finland 4Morocco 4Cyprus 3Greece 3Hong Kong 3Malaysia 3New Zealand 3Switzerland 3United Arab Emirates 3Armenia 2Denmark 2Ireland 2Lithuania 2Sweden 2Vietnam 2Colombia 1Costa Rica 1Iceland 1Indonesia 1
Clear all filters

10 conferences · past editions · Theory of Computing · matching “Conference”

FMCAD 2026B

Formal Methods in Computer-Aided Design

Theory of Computing

Paper deadline
11 May 2026
Event
14–18 Sept 2026 · Graz, Austria
Finished
CONCUR 2026B

International Conference on Concurrency Theory

Theory of Computing

Paper deadline
27 Apr 2026
Event
1–4 Sept 2026 · Liverpool, United Kingdom
Finished
CAV 2026A*

International Conference on Computer-Aided Verification

Theory of Computing

Paper deadline
28 Jan 2026
Event
26–29 Jul 2026 · Lisbon, Portugal
Finished
IJCAR 2026A

International Joint Conference on Automated Reasoning

Theory of Computing

Paper deadline
15 Feb 2026
Event
26–29 Jul 2026 · Lisbon, Portugal
Finished
COCOON 2026B

International Computing and Combinatorics Conference

Theory of Computing

Paper deadline
4 Mar 2026
Event
23–25 Jul 2026 · Singapore, Singapore
Finished
SAT 2026A

International Conference on Theory and Applications of Satisfiability Testing

Theory of Computing

Paper deadline
10 Mar 2026
Event
20–23 Jul 2026 · Lisbon, Portugal
Finished
ICALP 2026A*

EATCS International Colloquium on Automata, Languages, and Programming

Theory of Computing

Paper deadline
6 Feb 2026
Event
6–10 Jul 2026 · London, United Kingdom
Finished
HSCC 2026B

International Conference on Hybrid Systems: Computation and Control

Theory of Computing

Paper deadline
13 Nov 2025
Event
11–14 May 2026 · Saint Malo, France
Finished
FMCAD 2025B

Formal Methods in Computer-Aided Design

Theory of Computing

Paper deadline
27 Apr 2025
Event
6–10 Oct 2025 · Menlo Park, United States
Finished
CONCUR 2025B

International Conference on Concurrency Theory

Theory of Computing

Paper deadline
9 Apr 2025
Event
26–29 Aug 2025 · Aarhus, Denmark
Finished

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.