{"id":73,"date":"2025-07-21T16:10:56","date_gmt":"2025-07-21T16:10:56","guid":{"rendered":"https:\/\/bmql25.cs.aau.dk\/?page_id=73"},"modified":"2025-08-11T12:37:53","modified_gmt":"2025-08-11T12:37:53","slug":"workshop-program","status":"publish","type":"page","link":"https:\/\/bmql25.cs.aau.dk\/?page_id=73","title":{"rendered":"Workshop Program"},"content":{"rendered":"\n
\n

Monday, 25 August 2025<\/p>\n\n\n\n

Time Slot<\/th>Topic<\/th>Speaker<\/th><\/tr><\/thead>
8:30 – 9:30<\/td>Coffee\/Registration<\/td><\/td><\/tr>
9:00 – 9:50<\/td>Invited Talk
Behavioural distances: a logical approach<\/a><\/td>		Franck van Breugel<\/td><\/tr>
9:50 – 10:20<\/td>Coffee break<\/td><\/td><\/tr>
<\/td>Session 1: <\/td><\/td><\/tr>
10:20 – 10:50<\/td>Towards an Axiomatisation of the Neighborhood Monad<\/a><\/strong><\/em><\/td>Chase Ford<\/td><\/tr>
10:55 – 11:25<\/td>On the additive structure of quantalic lambda-calculus<\/a><\/strong><\/em><\/td>Bruna Salgado<\/td><\/tr>
11:30 – 11:12<\/td>A Higher-Order Quantitative Logic<\/a><\/strong><\/em><\/td>
Rasmus Ejlers M\u00f8gelberg<\/td><\/tr>
12:00 – 13:30<\/td>Lunch break<\/strong><\/em><\/td><\/td><\/tr>
13:30 – 14:20<\/td>Invited Talk
epsilon-Distance via L\u00e9vy-Prokhorov Lifting<\/a><\/td>		Ana Sokolova<\/td><\/tr>
14:20 – 14:45<\/td>Coffee break<\/td><\/td><\/tr>
<\/td>Session 2: Learning<\/td><\/td><\/tr>
14:50 – 15:20<\/td>BayesL: T<\/a><\/em><\/strong>owards a Logical Framework for Bayesian Networks<\/a><\/strong><\/em><\/td>Stefano M. Nicoletti<\/td><\/tr>
15:25 – 15:55<\/td>Stochastic Conformance Checking based on Variable-length Markov Chains: on metrics for probabilistic languages in Process Mining<\/a><\/strong><\/em><\/td>Andrea Vandin<\/td><\/tr>
15:55 – 16:15<\/td>Coffee break<\/strong><\/em><\/td><\/td><\/tr>
<\/td>Session 3: Logic and Specifications<\/td><\/td><\/tr>
16:15 – 16:45<\/td>An algorithm for computing weighted LTL formulas in O-normal form<\/a><\/strong><\/em><\/td>Eleni Mandrali<\/td><\/tr>
16:50 – 17:20<\/td>A Quantitative Metric to Evaluate the Satisfaction of Stylized Facts<\/a><\/strong><\/em><\/td>Jan Niklas Martin<\/td><\/tr><\/tbody><\/table><\/figure>\n<\/div>\n\n\n\n
\n

ACCEPTED ABSTRACTS:<\/h2>\n\n\n\n