Monday, 25 August 2025
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