Submission Deadline: Monday 27 Feb 2023
Conference Dates: Jul 01, 2023 - Jul 04, 2023
Impact Score 1.00
Conference Organizers: Deadline extended? Click here to edit
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).
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).
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.
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.
The top authors publishing at Conference on Automated Deduction (based on the number of publications) are:
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.
Only papers with recognized affiliations are considered
The top affiliations publishing at Conference on Automated Deduction (based on the number of publications) are:
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.
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 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.
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.
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.
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:
The chart below illustrates experience levels of first authors in cases of publications with multiple authors.
Oct 10, 2023 - Oct 12, 2023
Deadline: Wednesday 03 May 2023
Sep 27, 2023 - Sep 29, 2023
Deadline: Saturday 06 May 2023
Sep 26, 2023 - Sep 28, 2023
Deadline: Friday 19 May 2023
Sep 17, 2023 - Sep 20, 2023
Deadline: Friday 28 Apr 2023
Sep 06, 2023 - Sep 08, 2023
Vietri sul Mare, Italy
Deadline: Friday 14 Apr 2023
Jul 11, 2021 - Jul 11, 2021
Aug 07, 2022 - Aug 12, 2022
29th international Conference on Automated Deduction
Thank you for information!