Events and news relevant to the Laboratory for Foundations of Computer Science

["'Giovanni Bacci' via qest-announce" <qest-announce-group@unifi.it>]

-------------- 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://bmql25.cs.aau.dk/

------ 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). 

To unsubscribe from this group and stop receiving emails from it, send an 
email to qest-announce-group+unsubscribe@unifi.it.