Certified Programs and Proofs (CPP) (CPP)

This comprehensive ranking presents an authoritative list of scientific conferences in the field of Computer Science. The ranking has been meticulously developed by Research.com, a prominent and trusted platform that has been delivering reliable data and analytics on scientific contributions across all major research domains, including Computer Science, since 2014.

Each conference's position in the ranking is determined by a unique bibliometric score devised by Research.com. This score is calculated using the estimated h-index alongside the number of leading scientists participating in the conference over the most recent three-year period, ensuring a robust and multidimensional evaluation of conference impact and prestige.

The Impact Score values featured in this ranking were gathered as of 2024-11-27. The process of compiling the ranking involved a rigorous assessment, starting with an initial pool of more than 2,742 conferences. These conferences were chosen following a detailed and systematic examination of over 148,739 scientific documents published in the past three years by 13,184 highly regarded and influential scientists specializing in Computer Science.

This exhaustive approach underscores the depth of research and the expert analysis that underpin this ranking, further reinforcing its credibility and relevance to the global scientific community.

For a more thorough understanding of the methodology and specific criteria used to compute the ranking scores, please refer to our Methodology Page.

Papers citation over time

A key indicator for each conference is its effectiveness in reaching other researchers with the papers published at that venue.

The chart below presents the interquartile range (first quartile 25%, median 50% and third quartile 75%) of the number of citations of articles over time.

Top authors and change over time

The top authors publishing at Certified Programs and Proofs (based on the number of publications) are:

• Yannick Forster (3 papers) published 3 papers at the last edition,
• Steven Schäfer (2 papers) published 2 papers at the last edition,
• Jasmin Christian Blanchette (2 papers) published 2 papers at the last edition,
• Kathrin Stark (2 papers) published 2 papers at the last edition,
• Aart Middeldorp (1 papers) published 1 paper at the last edition.

The overall trend for top authors publishing at this conference is outlined below. The chart shows the number of publications at each edition of the conference for top authors.

Top affiliations and change over time

Only papers with recognized affiliations are considered

The top affiliations publishing at Certified Programs and Proofs (based on the number of publications) are:

• Saarland University (4 papers) published 4 papers at the last edition,
• VU University Amsterdam (3 papers) published 3 papers at the last edition,
• University of Innsbruck (2 papers) published 2 papers at the last edition,
• Princeton University (1 papers) published 1 paper at the last edition,
• Virginia Tech (1 papers) published 1 paper at the last edition.

The overall trend for top affiliations publishing at this conference is outlined below. The chart shows the number of publications at each edition of the conference for top affiliations.

Publication chance based on affiliation

The publication chance index shows the ratio of articles published by the best research institutions at the conference edition to all articles published within that conference. The best research institutions were selected based on the largest number of articles published during all editions of the conference.

The chart below presents the percentage ratio of articles from top institutions (based on their ranking of total papers).Top affiliations were grouped by their rank into the following tiers: top 1-10, top 11-20, top 21-50, and top 51+. Only articles with a recognized affiliation are considered.

During the most recent 2019 edition, 0.00% of publications had an unrecognized affiliation. Out of the publications with recognized affiliations, 71.43% were posted by at least one author from the top 10 institutions publishing at the conference. Another 23.81% included authors affiliated with research institutions from the top 11-20 affiliations. Institutions from the 21-50 range included 4.76% of all publications and 0.00% were from other institutions.

Returning Authors Index

A very common phenomenon observed among researchers publishing scientific articles is the intentional selection of conferences they have already attended in the past. In particular, it is worth analyzing the case when the authors participate in the same conference from year to year.

The Returning Authors Index presented below illustrates the ratio of authors who participated in both a given as well as the previous edition of the conference in relation to all participants in a given year.

Returning Institution Index

The graph below shows the Returning Institution Index, illustrating the ratio of institutions that participated in both a given and the previous edition of the conference in relation to all affiliations present in a given year.

The experience to innovation index

Our experience to innovation index was created to show a cross-section of the experience level of authors publishing at a conference. The index includes the authors publishing at the last edition of a conference, grouped by total number of publications throughout their academic career (P) and the total number of citations of these publications ever received (C).

The group intervals were selected empirically to best show the diversity of the authors' experiences, their labels were selected as a convenience, not as judgment. The authors were divided into the following groups:

• Novice - P < 5 or C < 25 (the number of publications less than 5 or the number of citations less than 25),
• Competent - P < 10 or C < 100 (the number of publications less than 10 or the number of citations less than 100),
• Experienced - P < 25 or C < 625 (the number of publications less than 25 or the number of citations less than 625),
• Master - P < 50 or C < 2500 (the number of publications less than 50 or the number of citations less than 2500),
• Star - P ≥ 50 and C ≥ 2500 (both the number of publications greater than 50 and the number of citations greater than 2500).

The chart below illustrates experience levels of first authors in cases of publications with multiple authors.