Conference series Beta
International Conference on Interactive Theorem Proving
ITP
- Events
- 16 (2010 to 2026)
- Website
- https://itp-conference.github.io/
- Academic field
- Natural sciences: Computer and information sciences
- Disciplines
- automated theorem proving, computer science, proof assistant
- Identifier
https://id.confref.org/series/s10a4j1
Events (16)
20102026
The events on the map · in the search · calendar of coming events
Ratings
As the rating systems gave them at the date shown; a rating dataset keeps them as its source published them.
| System | Value | Date | Dataset |
|---|---|---|---|
| GII-GRIN-SCIE | W | 2017-04-06 | ratings-springer-lod |
| h5-index | 20 | 2017 | ratings-springer-lod · source |
| h5-median | 27 | 2017 | ratings-springer-lod · source |
| Qualis | C | 2017-04-06 | ratings-springer-lod |
Sources
The records of the sources that this identifier brings together (cr:sameAs).
| Springer LOD (2018) |
|
|---|---|
| confref portal (2020) | |
| Wikidata | |
| dblp | |
| GND |
Cite
International Conference on Interactive Theorem Proving. confref identifier s10a4j1. https://id.confref.org/series/s10a4j1
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.