Logic List Mailing Archive

LATD 2022: Logic, Algebra, & Truth Degrees

4-11 Sep 2022
Salerno, Italy

LOGIC, ALGEBRA AND TRUTH DEGREES 2022 (LATD 2022)

4-11 September, 2022
Paestum, (Salerno, Italy)

http://logica.dipmat.unisa.it/LATD+MOSAIC

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

CALL FOR ABSTRACTS

Logic, Algebra and Truth Degrees 2022 (LATD 2022) will be held on 4-11 September 2022 in Paestum, (Salerno, Italy).
The conference will be co-located with the kick off conference of the MOSAIC project “Modalities in Substructural Logic: Theory, Methods and Applications”.

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: 15 April 2022
Notification: 1 June 2022
Early registration deadline: 15 June 2022
Late registration deadline: 31 August 2022
Conference: 4-11 September 2022


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)


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

Marco Abaddini (University of Salerno)
Luca Carai (University of Salerno)
Serafina Lapenta (Chair, University of Salerno))
Giacomo Lenzi (University of Salerno)
Luca Spada (University of Salerno)
Gaetano Vitale (University of Salerno)
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam