[FOM] LATD 2020: Call for Papers

[Tommaso Moraschini]

[Apologies for eventual multiple receptions]

LOGIC, ALGEBRA AND TRUTH DEGREES 2020 (LATD 2020)

14-18 September, 2020
Tbilisi, Georgia

https://www.logic.at/latd2020/

***********************************************************************

CALL FOR PAPERS

Logic, Algebra and Truth Degrees 2020 (LATD 2020) will be held on 14-18
September 2020 at the Ilia State University in Tbilisi, Georgia. LATD
2020 is one of the main events of the Tbilisi Autumn of Logic
(http://tbilisilogicautumn2020.scienceontheweb.net/), a series of
conferences and summer schools taking place in Tbilisi promoting
research in pure and applied logic at an international level.

The conference will be preceded by the Sixteenth International Tbilisi
Summer School in Logic and Language (https://www.logic.at/tbilisi20/)
devoted to courses on core topics of LATD 2020.

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.

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


Abstracts of contributed talks of 2-4 pages are to be prepared using the
EasyChair class style (https://easychair.org/publications/for_authors)
and submitted via

https://easychair.org/my/conference?conf=latd2020


IMPORTANT DATES

Submission deadline: 1 April 2020
Notification: 1 June 2020
Early registration deadline: 15 June 2020
Late registration deadline: 31 August 2020
Conference: 14-18 September 2020


INVITED SPEAKERS

Bahareh Afshari (University of Amsterdam)
Mamuka Jibladze (Razmadze Mathematical Institute)
Matteo Mio (Ecole Normale Superieure de Lyon)
Daniele Mundici (University of Florence)
Sara Negri (University of Helsinki)
Carles Noguera (Czech Academy of Sciences)
Alessandra Palmigiano (Vrije Univesiteit Amsterdam)
James Raftery (University of Pretoria)


PROGRAMME COMMITTEE

Matthias Baaz (Vienna University of Technology)
Nick Bezhanishvili (Chair, University of Amsterdam)
Marta Bilkova (Czech Academy of Sciences)
Agata Ciabattoni (Vienna University of Technology)
Petr Cintula (Czech Academy of Sciences)
David Gabelaia (Razmadze Mathematical Institute)
Nick Galatos (University of Denver)
Mai Gehrke (University of Nice)
Lluis Godo (Artificial Intelligence Research Institute, III-CSCIC)
John Harding (New Mexico State University)
Wesley Holliday (University of California, Berkeley)
Rosalie Iemhoff (Utrecht University)
Peter Jipsen (Chapman University)
Alexander Kurz (Chapman University)
Vincenzo Marra (University of Milan)
George Metcalfe (University of Bern)
Tommaso Moraschini (University of Barcelona)
Luca Spada (University of Salerno)
Kazushige Terui (Kyoto University)
Yde Venema (University of Amsterdam)


ORGANIZING COMMITTEE

Nino Antidze (Vienna University of Technology)
Matthias Baaz (Chair, Vienna University of Technology)
David Gabelaia (Razmadze Mathematical Institute)
Gianluca Grilletti (University of Amsterdam)
Anella Lolic (Vienna University of Technology)
Ilma Lolic (Vienna University of Technology)
Tamar Tsopurashvili (Ilia State University)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20200113/0aa0f627/attachment-0001.html>