Ranking & Metrics
Impact Score is a novel metric devised to rank conferences based on the number of contributing the best scientists in addition to the h-index estimated from the scientific papers published by the best scientists. See more details on our methodology page.

Research Impact Score:1.00

Contributing Best Scientists:6

H5-index:

Papers published by Best Scientists8

Research Ranking (Computer Science)824

Conference Call for Papers

CADE is the major international forum for presenting research on all aspects of automated deduction. High-quality submissions on the general topic of automated deduction, including logical foundations, theory and principles, applications in and beyond computer science and mathematics, and implementations of automated reasoning systems are solicited. CADE-29 aims to present research that reflects the broad range of interesting and relevant topics in automated deduction.

Overview

Top Research Topics at Conference on Automated Deduction?

Automated theorem proving (31.65%)

Discrete mathematics (25.49%)

Programming language (21.55%)

The scientific interests tackled in Conference on Automated Deduction are Automated theorem proving, Discrete mathematics, Programming language, Theoretical computer science and Algorithm.
While Automated theorem proving is the focus of the conference, it also provided insights into the studies of Gas meter prover, Mathematical proof, Rule of inference, First-order logic and Calculus.
The conference is focused mainly on Mathematical proof, particularly Proof assistant.

The majority of Calculus studies presented zero in on Natural deduction.
In the event, Rewriting, Unification and Algebra are investigated in conjunction with one another to address concerns in Discrete mathematics research.
The study on Rewriting presented in it intersects with subjects under the field of Term (logic).

The conference aims to address concerns in Programming language, specifically in the areas of Logic programming, Correctness and Automated proof checking.
Automated reasoning is a primary topic of Theoretical computer science research in the event.
Some problems in Algorithm that were presented in Conference on Automated Deduction overlapped with concepts under Set (abstract data type) and Resolution (logic).

What are the most cited papers published at the conference?

PVS: A Prototype Verification System (1271 citations)

System Description: Twelf - A Meta-Logical Framework for Deductive Systems (576 citations)

SATO: An Efficient Propositional Prover (482 citations)

Research areas of the most cited articles at Conference on Automated Deduction:

The most cited articles mostly deal with topics like Automated theorem proving, Programming language, Discrete mathematics, Theoretical computer science and Algorithm.
The published papers focus on Automated theorem proving but the discussions also offer insight into other areas such as Gas meter prover, Mathematical proof, Rule of inference, First-order logic and Calculus.
The conference articles address concerns in Theoretical computer science which are intertwined with other disciplines, such as Simple (abstract algebra) and Set (abstract data type).

What topics the last edition of the conference is best known for?

Programming language

Artificial intelligence

Algebra

The previous edition focused in particular on these issues:

Conference on Automated Deduction focuses largely on the fields of Discrete mathematics, Automated theorem proving, Theoretical computer science, Mathematical proof and Programming language.
The research on Discrete mathematics tackled can also make contributions to studies in the areas of Tree automaton, Automated proof checking and Unification.
The conference facilitates discussions on Automated theorem proving that incorporate concepts from other fields like User interface, Sequent calculus, Object theory, Modulo and Calculus.

In addition to Theoretical computer science research, the conference aims to explore topics under Dependency (UML), Algorithm and Avatar.
Mathematical proof research featured in Conference on Automated Deduction incorporates concerns from various other topics such as Rewriting, Axiom, Kernel (algebra) and Boolean satisfiability problem.
Conference on Automated Deduction explores topics in Programming language which can be helpful for research in disciplines like Abstract algebra, Homotopy type theory, Systems architecture and Category theory.

The most cited articles from the last conference are:

The Lean Theorem Prover (System Description) (195 citations)

KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems (141 citations)

Quantomatic: A Proof Assistant for Diagrammatic Reasoning (55 citations)

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.

Research.com

Top authors and change over time

The top authors publishing at Conference on Automated Deduction (based on the number of publications) are:

Andrei Voronkov (6 papers) published 2 papers at the last edition, 1 less than at the previous edition,

Pascal Fontaine (4 papers) published 1 paper at the last edition, 1 less than at the previous edition,

Peter Baumgartner (4 papers) published 2 papers at the last edition, 1 more than at the previous edition,

André Platzer (4 papers) published 2 papers at the last edition, 1 more than at the previous edition,

Roberto Sebastiani (4 papers) absent 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.

Research.com

Top affiliations and change over time

Only papers with recognized affiliations are considered

The top affiliations publishing at Conference on Automated Deduction (based on the number of publications) are:

University of Manchester (9 papers) published 2 papers at the last edition, 2 less than at the previous edition,

University of Innsbruck (9 papers) published 5 papers at the last edition, 2 more than at the previous edition,

Microsoft (6 papers) published 1 paper at the last edition, 2 less than at the previous edition,

French Institute for Research in Computer Science and Automation (6 papers) published 1 paper at the last edition, 1 less than at the previous edition,

Carnegie Mellon University (6 papers) published 3 papers at the last edition, 2 more than at the previous 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.

Research.com

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.

Research.com

During the most recent 2015 edition, 2.50% of publications had an unrecognized affiliation. Out of the publications with recognized affiliations, 43.59% were posted by at least one author from the top 10 institutions publishing at the conference. Another 15.38% included authors affiliated with research institutions from the top 11-20 affiliations. Institutions from the 21-50 range included 20.51% of all publications and 20.51% 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.

Research.com

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.

Research.com

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).

Research.com

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