World's Best Scientists 2026 revealed!
Schloss Dagstuhl

Computer Science Logic 2023 (CSL)

Location: Warsaw , Poland

Submission deadline: 7/16/2022

Conference dates: 2/13/2023 - 2/16/2023

Research H-index
6

Ranking & Metrics

Discipline name Position Best Scientists Publications D-Index
Mathematics 22 3 3 2
Computer Science 598 20 19 6

Call for Papers

List of topics
automated deduction and interactive theorem proving
constructive mathematics and type theory
equational logic and term rewriting
automata and games, game semantics
modal and temporal logic
model checking
decision procedures
logical aspects of computational complexity
finite model theory
computational proof theory
logic programming and constraints
lambda calculus and combinatory logic
domain theory
categorical logic and topological semantics
database theory
specification, extraction and transformation of programs
logical aspects of quantum computing
logical foundations of programming paradigms
verification and program analysis
linear logic
higher-order logic
nonmonotonic reasoning

Overview

This page presents a comprehensive ranking of scientific conferences in the field of Mathematics, meticulously prepared by Research.com—recognized as one of the leading online platforms for science research across all principal fields, including Mathematics. Since 2014, Research.com has built a reputation for delivering reliable and trusted data on scientific contributions worldwide.

The position of each conference in our ranking is determined by a proprietary bibliometric score developed by Research.com. This score is precisely calculated using both the estimated h-index and the number of distinguished scientists who have actively participated in each conference over the previous three years. The assessment offers an accurate reflection of conferences' scholarly impact and influence within the global Mathematics community.

Impact Score values featured in this ranking were meticulously gathered on 2024-11-27, ensuring that the data reflects the most recent developments and participation in the field. The ranking process involved the examination of more than 913 conferences, all of which were carefully selected following rigorous scrutiny and evaluation. This comprehensive analysis was informed by the review of over 487 scientific documents published in the last three years by a cohort of 3,535 leading and widely respected mathematicians.

For readers interested in a deeper understanding of the criteria and methodology behind our bibliometric scores and the overall ranking process, we invite you to visit our Methodology Page for a thorough explanation of our analytical approaches and evaluation standards.

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.

The top authors publishing at Computer Science Logic (based on the number of publications) are:

  • Anuj Dawar (6 papers) published 1 paper at the last edition, 1 less than at the previous edition,
  • Johann A. Makowsky (5 papers) absent at the last edition,
  • Markus Lohrey (5 papers) published 1 paper at the last edition the same number as at the previous edition,
  • Dietrich Kuske (5 papers) absent at the last edition,
  • Erich Grädel (5 papers) published 1 paper at the last edition the same number as at the previous 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.

Only papers with recognized affiliations are considered

The top affiliations publishing at Computer Science Logic (based on the number of publications) are:

  • University of Warsaw (16 papers) published 2 papers at the last edition, 1 less than at the previous edition,
  • RWTH Aachen University (14 papers) published 3 papers at the last edition, 1 more than at the previous edition,
  • University of Cambridge (13 papers) published 3 papers at the last edition the same number as at the previous edition,
  • Paris Diderot University (11 papers) absent at the last edition,
  • University of Oxford (10 papers) absent 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 2016 edition, 43.66% of publications had an unrecognized affiliation. Out of the publications with recognized affiliations, 32.50% were posted by at least one author from the top 10 institutions publishing at the conference. Another 10.00% included authors affiliated with research institutions from the top 11-20 affiliations. Institutions from the 21-50 range included 35.00% of all publications and 22.50% 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.

Related Online Degrees & Career Pathways

Pursuing a Computer Science degree in the USA opens doors to diverse online degrees and career pathways tailored to evolving tech landscapes. For those interested in data, programs such as a masters in data analytics provide advanced skills to analyze and interpret complex datasets, enhancing decision-making in various industries.

For professionals aiming to push the boundaries of research, an online doctorate data science offers a flexible way to gain deep expertise while balancing work commitments. This degree is ideal for those focused on innovation and leadership roles in data-driven fields.

Intersecting biology and technology, a degree in bioinformatics can lead to exciting opportunities in healthcare and research. Exploring bioinformatics career paths reveals roles involving genetic data analysis, drug development, and personalized medicine, highlighting the demand for computational biology professionals.

Additionally, for those interested in healthcare and technology convergence, several online healthcare degrees that pay well offer flexible educational routes. These programs equip graduates with essential skills to thrive in high-demand, well-compensated medical sectors.

By exploring these interdisciplinary online degrees, students can tailor their education to match rapidly growing fields and maximize career opportunities in the USA.

Best Scientists who published in this Conference

Related Articles

Recently Published Articles