ITP

From Openresearch
Revision as of 21:21, 26 February 2020 by Soeren (talk | contribs) (CSV conf series import)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
ITP
Conference on Interactive Theorem Proving (previously TPHOLs, changed in 2009)
CORE Rank (2017): A
Table of Contents

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



Facts about "ITP"
EventSeries acronymITP +
Has CORE RankA +
IsAEventSeries +
TitleConference on Interactive Theorem Proving (previously TPHOLs, changed in 2009) +