Monday, 25 August 2025
| Time Slot | Topic | Speaker |
|---|---|---|
| 8:30 – 9:30 | Coffee/Registration | |
| 9:00 – 9:50 | Invited Talk Behavioural distances: a logical approach | Franck van Breugel |
| 9:50 – 10:20 | Coffee break | |
| Session 1: | ||
| 10:20 – 10:50 | Towards an Axiomatisation of the Neighborhood Monad | Chase Ford |
| 10:55 – 11:25 | On the additive structure of quantalic lambda-calculus | TBA |
| 11:30 – 11:12 | A Higher-Order Quantitative Logic | TBA |
| 12:00 – 13:30 | Lunch break | |
| 13:30 – 14:20 | Invited Talk epsilon-Distance via Lévy-Prokhorov Lifting | Ana Sokolova |
| 14:20 – 14:45 | Coffee break | |
| Session 2: Learning | ||
| 14:50 – 15:20 | BayesL: Towards a Logical Framework for Bayesian Networks | TBA |
| 15:25 – 15:55 | Stochastic Conformance Checking based on Variable-length Markov Chains: on metrics for probabilistic languages in Process Mining | Andrea Vandin |
| 15:55 – 16:15 | Coffee break | |
| Session 3: Logic and Specifications | ||
| 16:15 – 16:45 | An algorithm for computing weighted LTL formulas in O-normal form | Eleni Mandrali |
| 16:50 – 17:20 | A Quantitative Metric to Evaluate the Satisfaction of Stylized Facts | Jan Niklas Martin |
ACCEPTED ABSTRACTS:
- Eleni Mandrali. An algorithm for computing weighted LTL formulas in O-normal form
- Giorgio Bacci and Rasmus Ejlers Møgelberg. A Higher-Order Quantitative Logic
- Jan Niklas Martin, Pia Wilsdorf and Adelinde M. Uhrmacher. A Quantitative Metric to Evaluate the Satisfaction of Stylized Facts
- Stefano Nicoletti and Marielle Stoelinga. BayesL: Towards a Logical Framework for Bayesian Networks
- Emilio Incerto, Sima Sarv Ahrabi and Andrea Vandin. Stochastic Conformance Checking based on Variable-length Markov Chains: on metrics for probabilistic languages in Process Mining
- Bruna Salgado and Renato Neves. On the additive structure of quantalic lambda-calculus
- Max Fan, Chase Ford, Jonas Forster, Jón Hákon Garðarsson, Justin Hsu, Jessica Richards. Towards an Axiomatisation of the Neighborhood Monad