World's Best Scientists 2026 revealed!
IEEE

Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

Location: Boston , United States

Submission deadline: 1/18/2023

Conference dates: 6/26/2023 - 6/29/2023

Research H-index
16

Ranking & Metrics

Discipline name Position Best Scientists Publications D-Index
Mathematics 13 6 11 4
Computer Science 196 65 82 15

Call for Papers

The 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2023) will be held in Boston, USA, from 26 – 29 June, with workshops 24 – 25 June.
The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. We invite submissions on topics that fit under that rubric. Suggested, but not exclusive, topics of interest include:

automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, formal aspects of program analysis, formal methods, foundations of computability, foundations of probabilistic, real-time and hybrid systems, games and logic, higher-order logic, knowledge representation and reasoning, lambda and combinatory calculi, linear logic, logic programming, logical aspects of AI, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model checking, process calculi, programming language semantics, proof theory, reasoning about security and privacy, rewriting, type systems, type theory, and verification.

Overview

This ranking presents a comprehensive evaluation of scientific conferences within the field of Engineering and Technology. Compiled by Research.com—recognized as one of the foremost platforms offering data-driven insights on scientific research across diverse disciplines—this ranking upholds a tradition of trusted, authoritative data on scientific contributions since 2014.

The position of each conference in this ranking is determined by a proprietary bibliometric score developed by Research.com experts. This unique metric integrates both the estimated h-index and the count of distinguished scientists who have participated in each conference over the most recent three-year period, ensuring a nuanced and multifaceted assessment of conference impact.

The Impact Score values were meticulously collected as of 2024-11-27, ensuring data recency and relevance. The ranking process entailed the systematic review and analysis of over 2,262 conferences. These were meticulously selected following a rigorous inspection and profound examination of more than 26,934 scientific publications authored within the last three years by 9,385 leading, highly respected scientists in the Engineering and Technology domain.

This extensive and methodical approach reflects the depth and complexity inherent in the assessment, underlining the credibility and reliability that are hallmarks of Research.com's rankings. Further information regarding the methodology and computation of ranking scores is available on 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.

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

  • Moshe Y. Vardi (31 papers) absent at the last edition,
  • Martin Grohe (23 papers) published 1 paper at the last edition the same number as at the previous edition,
  • Gordon Plotkin (22 papers) published 2 papers at the last edition,
  • Glynn Winskel (20 papers) absent at the last edition,
  • Krishnendu Chatterjee (20 papers) published 2 papers at the last edition, 1 more than 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 Logic in Computer Science (based on the number of publications) are:

  • University of Oxford (110 papers) published 9 papers at the last edition, 8 more than at the previous edition,
  • University of Edinburgh (88 papers) published 1 paper at the last edition the same number as at the previous edition,
  • Carnegie Mellon University (68 papers) published 2 papers at the last edition, 1 more than at the previous edition,
  • University of Cambridge (62 papers) published 2 papers at the last edition the same number as at the previous edition,
  • University of Warsaw (56 papers) published 2 papers at the last edition, 5 less 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.

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 2021 edition, 2.59% of publications had an unrecognized affiliation. Out of the publications with recognized affiliations, 19.47% were posted by at least one author from the top 10 institutions publishing at the conference. Another 14.16% included authors affiliated with research institutions from the top 11-20 affiliations. Institutions from the 21-50 range included 22.12% of all publications and 44.25% 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

Exploring online degrees related to Computer Science can open doors to diverse career opportunities. For those interested in interdisciplinary fields, an accelerated psychology bachelor's degree offers a fast track to understanding human behavior, which complements areas like user experience and AI development.

Cost is a significant factor when choosing an online program. Many students prioritize affordability, making the psychology degree online cost an essential consideration for balancing quality education with budget constraints.

For creative tech enthusiasts, pursuing a game design and development degree provides the skills needed to enter the booming gaming industry, blending storytelling with programming and design.

Meanwhile, security is a growing concern in the digital age. Enrolling in cybersecurity programs equips students with critical expertise to protect networks and data, ensuring a promising and in-demand career pathway.

Best Scientists who published in this Conference

Related Articles