World's Best Scientists 2026 revealed!
Springer

25th INTERNATIONAL SYMPOSIUM ON FORMAL METHODS (FM)

Location: Lübeck , Germany

Submission deadline: 9/4/2022

Conference dates: 3/6/2023 - 3/10/2023

Research H-index
6

Ranking & Metrics

Discipline name Position Best Scientists Publications D-Index
Computer Science 608 17 17 6

Call for Papers

The topics of interest for FM 2023 include, but are not limited to:
Interdisciplinary formal methods: Techniques, tools, and experiences demonstrating the use of formal methods in interdisciplinary settings. Formal methods in practice: Industrial applications of formal methods, experience with formal methods in industry, tool usage reports, experiments with challenge problems. The authors are encouraged to explain how formal methods overcame problems, led to improved designs, or provided new insights.

Tools for formal methods: Advances in automated verification, model checking, and testing with formal methods, tools integration, environments for formal methods, and experimental validation of tools. The authors are encouraged to demonstrate empirically that the new tool or environment advances the state of the art.

Formal methods in software and systems engineering: Development processes with formal methods, usage guidelines for formal methods, and method integration. The authors are encouraged to evaluate process innovations with respect to qualitative or quantitative improvements. Empirical studies and evaluations are also solicited.

Theoretical foundations of formal methods: All aspects of theory related to specification, verification, refinement, and static and dynamic analysis. The authors are encouraged to explain how their results contribute to the solution of practical problems with formal methods or tools.

We explicitly welcome submissions to the special FM 2023 session on „Formal methods meets AI“, which is focused on formal and rigorous modeling and analysis techniques to ensure the safety, robustness, etc. (trustworthiness) of AI-based systems.

Overview

This ranking provides a comprehensive evaluation of scientific conferences in the field of Computer Science, meticulously curated by Research.com, a renowned authority in the provision of reliable and authoritative data across all major scientific disciplines since 2014. The ranking underscores Research.com’s ongoing commitment to rigorous scientific assessment and transparency in profiling scholarly contributions and impact within the domain.

Each conference’s position in this ranking is determined using a unique bibliometric score, exclusively developed by Research.com. This score combines an estimated h-index with the number of leading scientists who have participated in the conference over the past three years, presenting an insightful measure of academic excellence, visibility, and consistent engagement from top experts in Computer Science. The Impact Score values featured in this ranking were gathered as of 2024-11-27, ensuring the recency and relevancy of the presented data.

The ranking process encompassed a rigorous analysis of more than 2,742 conferences, carefully selected following a thorough examination of over 148,739 scientific documents published in the last three years. These documents reflect the scholarly output of 13,184 leading and highly respected scientists in the field. This extensive data review exemplifies the depth and complexity of the research methodology employed, ensuring only the most influential and impactful conferences are featured.

Further information outlining the detailed procedures and criteria used for the computation of ranking scores can be found 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 Formal Methods (based on the number of publications) are:

  • Jin Song Dong (23 papers) absent at the last edition,
  • Jun Sun (23 papers) absent at the last edition,
  • Peter Gorm Larsen (22 papers) absent at the last edition,
  • Yang Liu (20 papers) absent at the last edition,
  • Kim Guldstrand Larsen (20 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 Formal Methods (based on the number of publications) are:

  • French Institute for Research in Computer Science and Automation (78 papers) absent at the last edition,
  • University of Oxford (53 papers) absent at the last edition,
  • Microsoft (51 papers) absent at the last edition,
  • Imperial College London (49 papers) absent at the last edition,
  • University of Queensland (48 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 2021 edition, 10.71% of publications had an unrecognized affiliation. Out of the publications with recognized affiliations, 4.00% were posted by at least one author from the top 10 institutions publishing at the conference. Another 4.00% included authors affiliated with research institutions from the top 11-20 affiliations. Institutions from the 21-50 range included 28.00% of all publications and 64.00% 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 in computer science opens up flexible and cost-effective options for many students. Understanding the cost of computer science degree is essential, as affordable programs allow more learners to enter the tech field without incurring heavy debt.

For veterans, there are specialized programs tailored to their needs. The military friendly online cybersecurity degree programs provide practical pathways for transitioning service members into cybersecurity roles, a sector with growing demand and stability.

Career alternatives in technology include emerging roles like AI trainers. Understanding how much do ai trainers make highlights the financial benefits and growth potential in this niche, which blends human insight with artificial intelligence development.

Additionally, gaining credentials through cyber security courses online offers a practical route to build expertise and enhance job prospects, especially as cyber threats continue to evolve rapidly.

Best Scientists who published in this Conference