ITP
| ITP | |
|---|---|
Conference on Interactive Theorem Proving (previously TPHOLs, changed in 2009)
| |
Categories: Theory of computation
| |
| DblpSeries: | itp |
| CORE Rank (2026): | B |
| CORE Rank (2023): | A |
| CORE Rank (2021): | A |
| CORE Rank (2020): | A |
| CORE Rank (2018): | A |
| CORE Rank (2017): | A |
| CORE Rank (2014): | A |
| CORE Rank (2013): | A |
| CORE Rank (2010): | A |
| Avg. acceptance rate: | 47.3 |
| Avg. acceptance rate (last 5 years): | 46.1 |
| Table of Contents | |
Conference on Interactive Theorem Proving (previously TPHOLs, changed in 2009) (ITP) has an average acceptance rate of 47.3% (last 5 years 46.1%).
Events
The following events of the series ITP are currently known in this wiki:
Number of Submitted and Accepted Papers (Main Track)
Acceptance Rate
Locations