Submission Guidelines

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.
• Submissions will follow a single blind process.

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 behavioural metrics and/or quantitative logics in fields like model-checking, security, privacy, hybrid systems, quantum computing, learning, and explainable AI, among others.

Committees

Program Committee

• Wojciech Różowski (University College London, UK)
• Franck van Breugel (York University, Toronto, Canada)
• James Worrell (Oxford University, UK)
• Pedro Azevedo de Amorim (Oxford University, UK)
• Pedro R. D’Argenio (Universidad Nacional de Córdoba, Argentina)
• Barbara König (University of Duisburg-Essen, Germany)
• Matteo Mio (ENS-Lyon, France)
• Qiyi Tang (University of Liverpool)
• Renato Neves (University of Minho, Portugal)
• Henning Urbat (Friedrich-Alexander-Universität, Germany)
• Radu Mardare (Heriot-Watt University, Scotland)
• Jurriaan Rot (Radboud University, Netherlands)
• Ugo Dal Lago (University of Bologna, Italy)
• Uli Fahrenber (EPITA Rennes and LRE, France)
• Valentina Castiglioni (Eindhoven University of Technology, Netherlands)
• Paolo Baldan (University of Padova, Italy)
• Raphaëlle Crubillé (Aix-Marseille Université, France)

Organizing committee

• Giovanni Bacci (Aalborg University, Denmark)
• Florence Clerc (Heriot Watt University, Scotland)

Invited Speakers

• Ana Sokolova (University of Salzburg, Austria)
• Franck van Breugel (York University, Toronto, Canada)

Venue

Aarhus, Denmark — August 25, 2025 (as a satellite workshop of CONFEST 2025)

Contact

• Giovanni Bacci (giovabacci@cs.aau.dk)
• Florence Clerc (f.clerc@hw.ac.uk)