BMQL 2025

1st International Workshop on Behavioural Metrics and Quantitative Logics

Aarhus, Denmark — August 25, 2025

satellite workshop of CONFEST 2025

Geometric Modern Architecture, Aarhus, Denmark

Behavioural Metrics and Quantitative Logics have garnered significant attention over the past two decades due to their ability to quantify and compare various aspects of system’s behaviour enhancing classical approaches based on behavioural equivalencies and qualitative boolean logics.

Metrics measure the behavioural dissimilarities between systems, while quantitative logics assess the extent to which a state satisfies a given formula. These two areas are closely intertwined, often connected through a Hennessy-Milner theorem stating that the distance naturally induced by a quantitative logic coincides with the behavioural distance.

Behavioural metrics and quantitative logics have diverse applications, including model-checking, differential privacy, hybrid systems, and learning.

Several challenges have emerged in this field, such as developing appropriate metrics and their corresponding logics, extending these concepts to coalgebras by parameterising the system’s branching type, advancing methods for quantitative algebraic reasoning, and devising efficient algorithms for computing behavioural metrics exactly or approximately, or estimating them from observations of the system.

Call for Contributions

Scope and Topics

The BMQL Workshop serves as a platform for researchers to explore these challenges,share state-of-the-art advancements, and discuss applications in areas that have not yet been sufficiently explored, such as machine learning, quantum computing, and security.

Topics for discussion include (but are not limited to):

  • Defining behavioural metrics through various approaches, such as fixpoint equations, logics, and games, along with their interrelations.
  • Studying the expressiveness of quantitative logics.
  • Theories and techniques for quantitative equational reasoning.
  • Efficient algorithms for computing or estimating behavioural metrics or distinguishing formulas.
  • Applications of BMQL in fields like model-checking, security, privacy, hybrid systems, quantum computing, learning, and explainable AI, among others.

Submissions

BMQL 2025 solicits high quality extended abstracts reporting research results and/or experience related to the topics mentioned above

  • We do accept submissions of work recently published, currently under review or work-in-progress.
  • Papers must not exceed 7 pages (excluding references and clearly marked appendices) using the LIPIcs style.
  • The paper may be supplemented with a clearly marked appendix, which will be reviewed at the discretion of the program committee.
  • Accepted papers will be made available on the workshop website but will not be part of formal proceedings (i.e., BMQL is a non-archival workshop).
  • Papers must be submitted electronically as PDF files via EasyChair [link TBD].
  • Submissions will follow a single blind process.

Important Dates

  • Submission: June 10 (AoE)
  • Notification: July 1 (AoE)
  • Camera Ready: July 11 (AoE)
  • Publication on this webpage: August 10
  • Workshop: August 25

Committees

TBA

Invited Speakers