CFP
 | MOSAIC2022: MOSAIC Kick Off Meeting Paestum (SA) Salerno, Italy, September 7-11, 2022 |
| Conference website | http://logica.dipmat.unisa.it/LATD+MOSAIC/ |
| Submission link | https://easychair.org/conferences/?conf=mosaic2022 |
MODALITIES IN SUBSTRUCTURAL LOGICS: THEORY, METHODS AND APPLICATIONS 2022 (MOSAIC 2022)
4-11 September, 2022
Paestum, (Salerno, Italy)
***********************************************************************
CALL FOR PAPERS
Modalities in Substructural Logic: Theory Methods and Applications (MOSAIC 2022)
will be held on 4-11 September 2022 in Paestum, (Salerno, Italy).
The conference is the kick-off meeting of the RISE-MSCA project MOSAIC and will be co-located with the International Conference Logic, Algebra and Truth Degrees 2020 (LATD 2020).
The RISE-MSCA project MOSAIC — “Modalities in Substructural Logic: Theory, Methods and Applications” aims at:
(1) Putting forward a comprehensive and unifying logico-mathematical study of substructural modal logics, that is,
substructural logics with modalities.
(2) Exploring the application of substructural modal logics outside the bounds of mathematical logic and, in particular,
in the areas of knowledge representation; legal reasoning; data privacy and security; logical analysis of natural language.
MOSAIC 2022 invites submissions on a variety of topics on modal substructural logics and their applications.
We therefore invite contributions on relevant aspects of non-classical modal logical systems, such as:
* Residuated lattices with modal operators;
* Relational frames and structural properties;
* Coalgebras and coalgebraic approach to substructural modal logics;
* Correspondence theory;
* Fixpoint logics;
* Proof theory and complexity for substructural modal logics;
* Modal logics for reasoning about norms, time, preferences, uncertainty;
* Applications of substructural modal logics to KRR and learning.
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
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
Silvio Ghilardi (University of Milan, Italy)
Sonia Marin (University of Birmingham, UK)
Nicola Olivetti (Aix-Marseille University, France)
Sara Ugolini (IIIA - CSIC of Barcelona, Spain)
PROGRAM COMMITTEE
Nick Bezhanishvili (The Netherlands)
Marta Bílková (Czech Republic)
Agata Ciabattoni (Austria)
Pilar Dellunde (Spain)
Tommaso Flaminio (Spain)
Sabine Frittella (France)
Brunella Gerla (Italy)
Lluis Godo (Spain)
Rafal Gruszczynski (Poland)
Hykel Hosni (Italy)
Rosalie Iemhoff (The Netherlands)
George Metcalfe (Switzerland)
Tommaso Moraschini (Spain)
Sara Negri (Italy)
Carles Noguera (Italy)
Alessandra Palmigiano (The Netherlands)
David Pym (UK)
Giovanni Sartor (Italy)
Luca Spada (Italy)
ORGANIZING COMMITTEE:
Marco Abbadini (University of Salerno)
Luca Carai (University of Salerno)
Serafina Lapenta (University of Salerno)
Giacomo Lenzi (University of Salerno)
Luca Spada (Chair, University of Salerno)
Gaetano Vitale (University of Salerno)