Call for Papers

We invite contributions on any relevant aspects of logical systems (including many-valued, fuzzy, substructural, modal, and quantum logics), in particular:

•    Proof theory and computational complexity;

•    Algebraic semantics and abstract algebraic logic;

•    First-order, higher-order, and modal formalisms;

•    Applications and foundational issues;

•    Geometric and game theoretic aspects.

Abstracts of contributed talks of 2-4 pages are to be prepared using the EasyChair class style and submitted via EasyChair: https://easychair.org/conferences/?conf=latd2023

The deadline for contributions is 15 May 2023, and the notification of acceptance will be sent by 15 June 2023.