Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

14 - 18 September 2020, Logic, Algebra and Truth Degrees 2020 (LATD 2020) , Tbilisi, Georgia

Date: 14 - 18 September 2020
Location: Tbilisi, Georgia
Deadline: Monday 1 June 2020

This is one of the main events of the Tbilisi Autumn of Logic, a series of conferences and summer schools taking place in Tbilisi promoting research in pure and applied logic at an international level.

The LATD conference series started as an official meeting of the working group on Mathematical Fuzzy Logic and has 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.

The conference will be preceded by the Sixteenth International Tbilisi Summer School in Logic and Language devoted to courses on core topics of LATD 2020.

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
* Geometric and game-theoretic aspects
* Applications and foundational issues

For more information, see https://www.logic.at/latd2020/.