← All venues
B

CPP

Certified Programs and Proofs
Quick take: Established international conference with solid peer-review standards.
Software Engineering & PLTheory of ComputationDBLP ↗ICORE ↗

Papers per year

OpenAlex-indexed subset — may undercount

Rank history

A* Flagship · A Premier · B Established · C Recognized

B since 2026 (ICORE2026).

What this venue publishes

Topic mix over all indexed years — OpenAlex

Topic trend (last 5 years)

Share of indexed papers per year — OpenAlex

Top publishing institutions

By indexed paper count — OpenAlex (multi-affiliation counts once per inst.)
  1. 1Institut national de recherche en sciences et technologies du numérique31 papers
  2. 2Centre National de la Recherche Scientifique28 papers
  3. 3Universität Innsbruck14 papers
  4. 4Saarland University13 papers
  5. 5Vrije Universiteit Amsterdam12 papers
  6. 6University of Cambridge11 papers
  7. 7Aarhus University10 papers
  8. 8Université Paris-Saclay9 papers
  9. 9Carnegie Mellon University9 papers
  10. 10Radboud University Nijmegen8 papers