The assumption that “truth comes in degrees” has proved to be very useful in many theoretical and applied areas of Mathematics, Computer Science, and Philosophy. The Logic Algebra and Truth Degrees (LATD) conference series started as an official meeting of the working group on Mathematical Fuzzy Logic (the subdiscipline of mathematical logic dealing with graded truth) and evolved into a wider meeting in algebraic logic and related areas. Its main goal is to foster collaboration between researchers in these areas, and to promote communication and cooperation with members of neighbouring fields.

List of Topics

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.

Submission Guidelines

Abstracts of contributed talks of 2-4 pages are to be prepared using the EasyChair class style and submitted via EasyChair. 

Committees

Program Committee

• Bahareh Afshari (University of Gothenburg)
• Matthias Baaz (Vienna University of Technology)
• Marta Bilkova (Czech Academy of Sciences, Prague)
• Xavier Caicedo (Universidad de los Andes, Bogotá)
• Agata Ciabattoni (Vienna University of Technology), co-chair
• Chris Fermüller (Vienna University of Technology), co-chair
• Tommaso Flaminio (IIIA – CSIC, Bellaterra)
• Nick Galatos (University of Denver)
• Mai Gehrke (Université Côte d’Azur, Nice)
• Brunella Gerla (Università dell’Insubria)
• Lluis Godo (IIIA – CSIC, Bellaterra)
• John Harding (New Mexico State University)
• Rosalie Iemhoff (Utrecht University)
• Alexander Kurz (Chapman University, California)
• Vincenzo Marra (University of Milan)
• George Metcalfe (University of Berne)
• Matteo Mio (École normale supérieure de Lyon)
• Tommaso Moraschini (University of Barcelona)
• Nicola Olivetti (Aix-Marseille University)
• Luca Spada (University of Salerno), co-chair
• Sara Ugolini (IIIA – CSIC, Bellaterra)
• Yde Venema (University of Amsterdam)

Venue

LATD 2023 will take place in Tbilisi (Georgia) from 11 to 15 of September. It  will be co-located with the Seventeenth International Tbilisi Summer School in Logic and Language (TBILISI 2023), 6-9 September. Moreover, after LATD, 18-22 September, there will be the Symposium on Logic, Language and Computation in nearby Telavi (Khacheti).

Contact

All questions about submissions should be emailed to: latd2023 "at" easychair "dot" org