Ranking & Metrics Conference Call for Papers Other Conferences in United States
29th international Conference on Automated Deduction

29th international Conference on Automated Deduction

Rome, Italy

Submission Deadline: Monday 27 Feb 2023

Conference Dates: Jul 01, 2023 - Jul 04, 2023

Research
Impact Score 1.00

OFFICIAL WEBSITE

Conference Organizers: Deadline extended?
Click here to edit

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 Scientists 8
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

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

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.

Research.com

Other Conferences in Italy

37th International Symposium on Distributed Computing

Oct 10, 2023 - Oct 12, 2023

L’Aquila, Italy

Deadline: Wednesday 03 May 2023

35th International Conference on Testing Software and Systems

Sep 27, 2023 - Sep 29, 2023

Bergamo, Italy

Deadline: Saturday 06 May 2023

30th International Symposium on String Processing and Information Retrieval

Sep 26, 2023 - Sep 28, 2023

PIsa, Italy

Deadline: Friday 19 May 2023

33rd International Workshop on Machine Learning for Signal Processing

Sep 17, 2023 - Sep 20, 2023

Rome, Italy

Deadline: Friday 28 Apr 2023

International Workshop on Graph-Based Representations in Pattern Recognition

Sep 06, 2023 - Sep 08, 2023

Vietri sul Mare, Italy

Deadline: Friday 14 Apr 2023

Previous Editions

Something went wrong. Please try again later.