Please note that this newsitem has been archived, and may contain outdated information or links.
11 - 15 September 2023, Logic, Algebra and Truth Degrees 2023 (LATD 2023), Tbilisi (Georgia)
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.
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).
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 April 2023 and the notification of acceptance will be sent by 1 June 2023.
Please note that this newsitem has been archived, and may contain outdated information or links.