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 via the following link:
https://easychair.org/conferences?conf=latd2025
The deadline for contributions is January 31st 2025, and the notification of acceptance will be sent by March 31st 2025.