Skip to content
Join as Job SeekerJoin as Employer
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 Engineering & Technology 1 Life Sciences & Biology 1 Social Sciences & Humanities 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
11 more
Natural Language Processing 10Robotics 4Information Retrieval & Web 3Biotechnology 1Healthcare 1Management 1Mechanical Engineering 1Public Health 1Signal Processing 1Social Sciences 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 12France 9India 9Japan 9
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

4 conferences · past editions · Theory of Computing · matching “Ai”

FMCAD 2026B

Formal Methods in Computer-Aided Design

Theory of Computing

Paper deadline
11 May 2026
Event
14–18 Sept 2026 · Graz, Austria
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
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

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.