Internation Workshop on QUAntitative LOGical methods.
Affiliated with the LICS 2023 conference.

Date: 25th June 2023
Location: College of Arts & Sciences (CAS), at 685 Commonwealth Ave, Boston, Massachusetts, USA
Registration: follow this link.

This workshop focuses on recent advances on logical methods (proof theoretic, model theoretic, categorical, computational, etc) for approximate and quantitative reasoning, often based on computational metrics, and serves as a space for interaction, informal discussion and exchange of ideas.

Call for Short Abstracts:
Program Committee: Invited Speakers:

Sunday, June the 25th, 2023
8:15 Welcome - Breakfast
9:00 Henning Urbat Varieties of Quantitative Algebras: A Categorical Perspective
10:00 Tobias Winkler Model Checking Probabilistic Visibly Pushdown Automata
10:30 Coffee break
11:00 Session 2.
11:00 Elena Di Lavore Monoidal Width
11:30 Clara Lacroce An AAK theory approach to the approximate minimization problem
12:00 Jean-Simon Pacaud Lemay A Taylor Series Metric for Cartesian Differential Categories
12:30 Lunch
14:00 Session 3.
14:00 Josée Desharnais The forgotten logics behind the bisimulation metric for Labelled Markov Processes (Invited Speaker)
15:00 Florence Clerc Extending bisimulation to continuous-time systems: from qualitative to quantitative approaches
15:30 Coffee break
16:00 Session 4.
16:00 june Wunder Sensitivity for Vector Metrics
16:30 Gordon Plotkin Two real-valued propositional logics (Invited Speaker)

For more informations feel free to contact the organiser by email at: matteo.mio@ens-lyon.fr
Group Photo 1 Group Photo 2