ITP
Jump to navigation
Jump to search
| 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
The following events of the series ITP are currently known in this wiki:
Add New Event:
Submission/Acceptance
Locations