Conference on Interactive Theorem Proving (previously TPHOLs, changed in 2009)
Indexed in CORE Rankings with rank B (ICORE2026).
Latest edition: Short Film in the Balkans and Eastern Europe: Archive, Memory and Trans-national Histories
Official Portals
Prestige Metrics & Badges
CORE Ranking2026
B
Theory of computation
CCF RankingChina CF
N/A
China Computer Federation
Google Scholar H5-IndexScholar
N/A
Top 5-year cited metric
Submission Deadlines & Live Countdown
Short Film in the Balkans and Eastern Europe: Archive, Memory and Trans-national Histories • Pernik Bulgaria(4 – 5 Jul, 2024)
Main Track
(conference)Deadline: Mar 22, 2024
DEADLINE PASSED
Anywhere on Earth (UTC-12)
Submission Deadline Has Passed
Please check notifications or wait for the next conference edition.
Complete Track Deadlines
| Track / Round | Format | Abstract Due | Paper Submission | Rebuttal Period | Notification Date | Camera-Ready Due | Time Remaining |
|---|---|---|---|---|---|---|---|
Main Track | conference | TBA | Mar 22, 2024 | — | TBA | TBA | Passed |
Multi-Source Prestige Rankings
Comparative classification across international academic evaluation bodies
| Ranking System | Evaluation Body | Classification | Edition / Year | Field / Scope | Prestige Significance |
|---|---|---|---|---|---|
| CORE Ranking | Computing Research and Education Association of Australasia | B | Year 2026 | Theory of computation | Good conference (Top 35%–40% globally) |
| CCF Ranking | China Computer Federation (CCF) | N/A | CCF 2022 Catalog | Computer Science | Important international conference |
| TH-CPL | Tsinghua University | N/A | TH-CPL List | CS & Engineering | Tsinghua Recommended Conference Publishing List |
| Qualis CAPES | CAPES (Brazilian Ministry of Education) | N/A | Sucupira / Qualis | Ciência da Computação | South American academic evaluation standard |
| CORE | Academic Association | B | ICORE2026 | General | International prestige ranking |
Conference Editions Timeline
Locations, dates, proceedings, and historical tracks of past & future editions
2024
Short Film in the Balkans and Eastern Europe: Archive, Memory and Trans-national Histories
PastPernik, Bulgaria
4 – 5 Jul, 2024
2022
Interactive Theorem Proving
PastHaifa, Haifa
7 – 10 Aug, 2022
2021
International Conference on Interactive Theorem Proving
PastRome, Rome
29 Jun – 1 Jul, 2021
2015
interactive theorem proving
PastNanjing, nanjing
24 – 27 Aug, 2015
2014
International Conference on Interactive Theorem Proving
PastVienna, Vienna
14 – 17 Jul, 2014
2011
2nd International Conference on Interactive Theorem Proving
PastNijmegen, The Netherlands
22 – 25 Aug, 2011
Academic Resources & External Links
Access DBLP archives, Papers With Code, and official conference portals
DBLP Computer Science
Comprehensive open bibliographic database tracking full papers across editions.
dblp.org ↗
Papers With Code
Explore trending papers, open-source code repositories, and leaderboards.
paperswithcode.com ↗
CORE Ranking Portal
Official evaluation catalog from Computing Research and Education Association.
portal.core.edu.au ↗