==== QUALOG 2023 - Call for Short Abstracts ====

We are pleased to invite you to submit short abstracts (2-3 pages including references) for the QUALOG 2023 workshop ("QUAntitative LOGical methods"), which will take place in Boston (USA) the 25th of June 2023, affiliated with the LICS 23 conference.

Submissions link: https://easychair.org/conferences/?conf=qualog23


== IMPORTANT DATES ==

- Paper submission deadline: the 22nd of May 2023
- Notification: the 24th of May 2023
- Workshop: the 25th of June 2023

The complete Call for Papers can be accessed at: 
https://perso.ens-lyon.fr/matteo.mio/qualog23/call.txt


== OBJECTIVES AND SCOPE ==

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

The short abstracts, consisting of 2-3 pages including references, should succinctly present recent work (possibly work-in-progress and either unpublished or already published) in any of the topics relevant to the workshop (see below). Accepted abstracts will be presented at the workshop with a 20-30min presentation. There will be no formal proceedings. 

The workshop will have two invited speakers:
- Gordon Plotkin, University of Edinburgh, UK.
- Josee Desharnais, Universite Laval, Canada.

For further informations, see the workshop page: https://perso.ens-lyon.fr/matteo.mio/qualog23/


== TOPICS ==

The topics of the workshop include, but are not limited to:

- Behavioral metrics for logic, semantics, verification and model checking.
- Quantitative/Fuzzy logics with applications in Computer Science.
- Syntactic/Proof Theoretic approaches to quantitative and approximate reasoning.
- Semantic, algebraic and categorical approaches to modelling of quantitative information. 
- Design of probabilistic, real-time, quantum programming languages with quantitative features.