------ Second Call for Papers (BMQL2025) BMQL 2025 - 1st International Workshop on Behavioural Metrics and Quantitative Logics Aarhus, Denmark — August 25, 2025 (satellite workshop at CONFEST 2025)
Webpage: https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fbmql25.cs.aau.dk%2F&data=05%7C02%7Com-announce%40openmath.org%7Cb5ed756da3954c5622a008dd9dce0134%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638840230277044972%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=V0kChxKuapu6pTyNUXvNSUsfftCY%2BiE9PIMvvoRmDvc%3D&reserved=0 ------ Scope and topics: The BMQL Workshop serves as a platform for researchers to explore behavioural metrics and quantitative logics,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. ------ 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. * Papers must be submitted electronically as PDF files via EasyChair before June 10th (AoE) * Submissions will follow a single blind process. ----- IMPORTANT DATES Submission: June 10 (AoE) Notification: July 15 (AoE) Camera Ready: July 25 (AoE) Workshop: August 25 ----- Post-proceeding: We are working on a post-proceeding in Electronic Notes in Theoretical Informatics and Computer Science (ENTICS). Depending on the novelty of the work submitted, a selection of the best papers will be invited to submit an extended version of their work to a post-procedings in Electronic Notes in Theoretical Informatics and Computer Science (ENTICS). _______________________________________________ Om-announce mailing list [email protected] https://mailman.openmath.org/cgi-bin/mailman/listinfo/om-announce
