Difference between revisions of "ITP"
Jump to navigation
Jump to search
(modified through wikirestore by orapi) |
(modified through wikirestore by orapi) |
||
| Line 1: | Line 1: | ||
{{Event series | {{Event series | ||
|acronym=ITP | |acronym=ITP | ||
| − | |||
|has CORE2017 Rank=A | |has CORE2017 Rank=A | ||
| − | |Acronym=ITP}} | + | |Acronym=ITP |
| + | |Title =Conference on Interactive Theorem Proving (previously TPHOLs, changed in 2009)}} | ||
Revision as of 20:28, 3 November 2021
Event series Rating
| median | worst |
|---|---|
|
|
List of all ratings can be found at ITP/rating
Excel series Import and Export
| ITP | |
|---|---|
Conference on Interactive Theorem Proving (previously TPHOLs, changed in 2009)
| |
| CORE Rank (2017): | A |
| Avg. acceptance rate: | 0 |
| Avg. acceptance rate (last 5 years): | 0 |
| Table of Contents | |
Conference on Interactive Theorem Proving (previously TPHOLs, changed in 2009) (ITP) has an average acceptance rate of 0% (last 5 years 0%).
Events
There are 0 events of the series ITP known to this wiki: