![\"Geometric](\"https:\/\/bmql25.cs.aau.dk\/wp-content\/uploads\/2025\/03\/pexels-laura-paredis-1047081-12843082-1024x683.jpg\")
<\/figure>\n\n\n\nBehavioural 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.<\/p>\n\n\n\n
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.<\/p>\n\n\n\n
Behavioural metrics and quantitative logics have diverse applications, including model-checking, differential privacy, hybrid systems, and learning.<\/p>\n\n\n\n
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.<\/p>\n<\/div>\n\n\n\n
Invited Speakers<\/h2>\n\n\n\n\n![\"Franck](\"https:\/\/bmql25.cs.aau.dk\/wp-content\/uploads\/2025\/04\/Franck-Van-Breugel.jpg\")
Franck van Breugel<\/a>
York University, Toronto, Canada<\/figcaption><\/figure>\n\n\n\n![\"Ana](\"https:\/\/bmql25.cs.aau.dk\/wp-content\/uploads\/2025\/04\/ana_sokolova.jpg\")
Ana Sokolova<\/a>
University of Salzburg<\/figcaption><\/figure>\n<\/div>\n<\/div>\n\n\n\n\nRegistration<\/h2>\n\n\n\n
You can register for the BMQL workshop through the main conference registration page<\/a>.<\/p>\n\n\n\nTo take advantage of the early bird discount<\/strong>, please complete your registration by July 26, 2025<\/strong>.<\/p>\n\n\n\nRegistration includes<\/strong>:<\/p>\n\n\n\n\n- Access to any of the workshops on August 25th<\/li>\n\n\n\n
- Coffee breaks and lunch<\/li>\n<\/ul>\n\n\n\n
You have two options:<\/p>\n\n\n\n
\n- Workshops Monday, August 25th-only<\/strong> registration<\/li>\n\n\n\n
- Conference + Workshops<\/strong> registration<\/li>\n<\/ul>\n\n\n\n
If you plan to attend only BMQL<\/strong>, please select the option “Workshops Monday, August 25th”<\/strong> during the registration process.<\/p>\n\n\n\nPlease note<\/strong>: Travel and accommodation costs are not included<\/strong> in the registration fee. Participants are responsible for arranging their own travel and lodging. For accommodation options, please refer to the information provided on the main conference website<\/a>.<\/p>\n\n\n\nVisa Information<\/strong><\/p>\n\n\n\nVisa Information<\/strong>: If you require a visa to enter Denmark, we strongly recommend that you begin the application process as early as possible, as processing times can vary.<\/p>\n<\/div>\n\n\n\n\nCall for Contributions<\/h2>\n\n\n\nScope and Topics<\/h3>\n\n\n\n
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.<\/p>\n\n\n\n
\nTopics for discussion include (but are not limited to):<\/p>\n\n\n\n
\n- Defining behavioural metrics through various approaches, such as fixpoint equations, logics, and games, along with their interrelations.<\/li>\n\n\n\n
- Studying the expressiveness of quantitative logics.<\/li>\n\n\n\n
- Theories and techniques for quantitative equational reasoning.<\/li>\n\n\n\n
- Efficient algorithms for computing or estimating behavioural metrics or distinguishing formulas.<\/li>\n\n\n\n
- 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.<\/li>\n<\/ul>\n<\/div>\n\n\n\n\n
Submissions<\/h3>\n\n\n\n
BMQL 2025 solicits high quality extended abstracts reporting research results and\/or experience related to the topics mentioned above<\/p>\n\n\n\n
\n- We do accept submissions of work recently published, currently under review or work-in-progress.<\/li>\n\n\n\n
- Papers must not exceed 7 pages (excluding references and clearly marked appendices) using the LIPIcs style.<\/li>\n\n\n\n
- The paper may be supplemented with a clearly marked appendix, which will be reviewed at the discretion of the program committee.<\/li>\n\n\n\n
- 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).<\/li>\n\n\n\n
- Papers must be submitted electronically as PDF files via EasyChair<\/a>.<\/li>\n\n\n\n
- Submissions will follow a single blind process.<\/li>\n<\/ul>\n<\/div>\n<\/div>\n\n\n\n\n
Important Dates ![\"\"](\"https:\/\/bmql25.cs.aau.dk\/wp-content\/uploads\/2025\/06\/updated.png\")
<\/h2>\n\n\n\n\n- Submission:<\/strong>
June 10<\/s> June 17<\/strong> (AoE)<\/li>\n\n\n\n- Notification:<\/strong>
July 15<\/s> July 20<\/strong> (AoE)<\/li>\n\n\n\n- Camera Ready:<\/strong>
July 25<\/s> August 10 (AoE)<\/li>\n\n\n\n- Publication on this webpage:<\/strong> August 10<\/li>\n\n\n\n
- Workshop:<\/strong> August 25<\/li>\n<\/ul>\n<\/div>\n\n\n\n\n
Committees<\/h2>\n\n\n\n\n- Wojciech R\u00f3\u017cowski<\/a> (University College London, UK)<\/li>\n\n\n\n
- Franck van Breugel<\/a> (York University, Toronto, Canada)<\/li>\n\n\n\n
- James Worrell<\/a> (Oxford University, UK)<\/li>\n\n\n\n
- Pedro Azevedo de Amorim<\/a> (Oxford University, UK)<\/li>\n\n\n\n
- Pedro R. D’Argenio<\/a> (Universidad Nacional de C\u00f3rdoba, Argentina)<\/li>\n\n\n\n
- Barbara K\u00f6nig<\/a> (University of Duisburg-Essen, Germany)<\/li>\n\n\n\n
- Matteo Mio<\/a> (ENS-Lyon, France)<\/li>\n\n\n\n
- Qiyi Tang<\/a> (University of Liverpool)<\/li>\n\n\n\n
- Renato Neves<\/a> (University of Minho, Portugal)<\/li>\n\n\n\n
- Henning Urbat<\/a> (Friedrich-Alexander-Universit\u00e4t, Germany)<\/li>\n\n\n\n
- Radu Mardare<\/a> (Heriot-Watt University, Scotland)<\/li>\n\n\n\n
- Jurriaan Rot<\/a> (Radboud University, Netherlands) <\/li>\n\n\n\n
- Ugo Dal Lago<\/a> (University of Bologna, Italy)<\/li>\n\n\n\n
- Uli Fahrenber<\/a> (EPITA<\/a> Rennes and LRE<\/a>, France)<\/li>\n\n\n\n
- Valentina Castiglioni<\/a> (Eindhoven University of Technology, Netherlands)<\/li>\n\n\n\n
- Paolo Baldan<\/a> (University of Padova, Italy)<\/li>\n\n\n\n
- Rapha\u00eblle Crubill\u00e9<\/a> (Aix-Marseille Universit\u00e9, France) <\/li>\n<\/ul>\n<\/div>\n\n\n\n
<\/p>\n","protected":false},"excerpt":{"rendered":"
1st International Workshop on Behavioural Metrics and Quantitative Logics Aarhus, Denmark \u2014 August 25, 2025 satellite workshop of CONFEST 2025 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 […]<\/p>\n","protected":false},"author":1,"featured_media":26,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"open","template":"","meta":{"footnotes":""},"class_list":["post-2","page","type-page","status-publish","has-post-thumbnail","hentry"],"_links":{"self":[{"href":"https:\/\/bmql25.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/pages\/2","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/bmql25.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/bmql25.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/bmql25.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/bmql25.cs.aau.dk\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=2"}],"version-history":[{"count":29,"href":"https:\/\/bmql25.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/pages\/2\/revisions"}],"predecessor-version":[{"id":87,"href":"https:\/\/bmql25.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/pages\/2\/revisions\/87"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/bmql25.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/media\/26"}],"wp:attachment":[{"href":"https:\/\/bmql25.cs.aau.dk\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=2"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}
York University, Toronto, Canada<\/figcaption><\/figure>\n\n\n\n
University of Salzburg<\/figcaption><\/figure>\n<\/div>\n<\/div>\n\n\n\n
Registration<\/h2>\n\n\n\n
You can register for the BMQL workshop through the main conference registration page<\/a>.<\/p>\n\n\n\n To take advantage of the early bird discount<\/strong>, please complete your registration by July 26, 2025<\/strong>.<\/p>\n\n\n\n Registration includes<\/strong>:<\/p>\n\n\n\n You have two options:<\/p>\n\n\n\n If you plan to attend only BMQL<\/strong>, please select the option “Workshops Monday, August 25th”<\/strong> during the registration process.<\/p>\n\n\n\n Please note<\/strong>: Travel and accommodation costs are not included<\/strong> in the registration fee. Participants are responsible for arranging their own travel and lodging. For accommodation options, please refer to the information provided on the main conference website<\/a>.<\/p>\n\n\n\n Visa Information<\/strong><\/p>\n\n\n\n Visa Information<\/strong>: If you require a visa to enter Denmark, we strongly recommend that you begin the application process as early as possible, as processing times can vary.<\/p>\n<\/div>\n\n\n\n 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.<\/p>\n\n\n\n Topics for discussion include (but are not limited to):<\/p>\n\n\n\n BMQL 2025 solicits high quality extended abstracts reporting research results and\/or experience related to the topics mentioned above<\/p>\n\n\n\n <\/p>\n","protected":false},"excerpt":{"rendered":" 1st International Workshop on Behavioural Metrics and Quantitative Logics Aarhus, Denmark \u2014 August 25, 2025 satellite workshop of CONFEST 2025 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 […]<\/p>\n","protected":false},"author":1,"featured_media":26,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"open","template":"","meta":{"footnotes":""},"class_list":["post-2","page","type-page","status-publish","has-post-thumbnail","hentry"],"_links":{"self":[{"href":"https:\/\/bmql25.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/pages\/2","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/bmql25.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/bmql25.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/bmql25.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/bmql25.cs.aau.dk\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=2"}],"version-history":[{"count":29,"href":"https:\/\/bmql25.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/pages\/2\/revisions"}],"predecessor-version":[{"id":87,"href":"https:\/\/bmql25.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/pages\/2\/revisions\/87"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/bmql25.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/media\/26"}],"wp:attachment":[{"href":"https:\/\/bmql25.cs.aau.dk\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=2"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}\n
\n
Call for Contributions<\/h2>\n\n\n\n
Scope and Topics<\/h3>\n\n\n\n
\n
Submissions<\/h3>\n\n\n\n
\n
Important Dates
<\/h2>\n\n\n\n\n
June 10<\/s> June 17<\/strong> (AoE)<\/li>\n\n\n\nJuly 15<\/s> July 20<\/strong> (AoE)<\/li>\n\n\n\nJuly 25<\/s> August 10 (AoE)<\/li>\n\n\n\nCommittees<\/h2>\n\n\n\n
\n