QUALOG 2023
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:

• Link to the Call for Short Abstracts.

Program Committee:

• Matteo Mio (Chair and Organiser), ENS-Lyon
• Prakash Panangaden (co-organiser), McGill University
• Giorgio Bacci, Aalborg University
• Francesco Gavazzo, University of Pisa
• Sergey Goncharov, FAU Erlangen-Nürnberg
• Marie Kerjean CNRS, LIPN, University Sorbonne Paris Nord
• Barbara König, University of Duisburg-Essen
• Marina Lenisa, University di Udine
• Radu Mardare, University of Strathclyde
• Paolo Pistone, University of Bologna
• Ana Sokolova, University of Salzburg
• Henning Urbat, FAU Erlangen-Nürnberg
• Valeria Vignudelli, CNRS/ENS Lyon

Invited Speakers:

• Gordon Plotkin, University of Edinburgh, UK.
• Josée Desharnais, Université Laval, Canada.

---

PROGRAM
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

---