B
ITP
Conference on Interactive Theorem Proving (previously TPHOLs, changed in 2009)Quick take: Established international conference with solid peer-review standards.
Papers per year
OpenAlex-indexed subset — may undercountRank history (CORE → ICORE)
A* Flagship · A Premier · B Established · C RecognizedWhat this venue publishes
Topic mix over all indexed years — OpenAlexTopic trend (last 5 years)
Share of indexed papers per year — OpenAlexTop publishing institutions
By indexed paper count — OpenAlex (multi-affiliation counts once per inst.)- 1Institut Teknologi Padang65 papers
- 2Petra Christian University14 papers
- 3Politeknik Negeri Sriwijaya11 papers
- 4State University of Semarang8 papers
- 5Universitas Palembang6 papers
- 6Politeknik Negeri Padang6 papers
- 7Andalas University3 papers
- 8Universitas Ekasakti2 papers
- 9Politeknik Negeri Balikpapan2 papers
- 10Lampung University1 papers