Please note that this newsitem has been archived, and may contain outdated information or links.
4 - 11 September 2022, Modalities in Substructural Logics: Theory, Methods and Applications 2022 (MOSAIC 2022) , Paestum, (Salerno, Italy)
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.
https://sites.google.com/view/mosaic-rise/
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://eur04.safelinks.protection.outlook.com/?url=https%3A%2F%2Feasychair.org%2Fpublications%2Ffor_authors&data=04%7C01%7Cn.bezhanishvili%40uva.nl%7C24dc91ec40fd47e360d608d9e7b6bf57%7Ca0f1cacd618c4403b94576fb3d6874e5%7C0%7C0%7C637795594964734089%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=S46XpIQ8ipVUAKZuELKDSR%2BRgaytEyywobB%2B6h3%2FUuo%3D&reserved=0) 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 (University of Amsterdam, Netherlands)
Marta Bilková (Czech Academy of Sciences, Czech Republic)
Agata Ciabattoni (Vienna University of Technology, Austria)
Pilar Dellunde (Autonomous University of Barcelona, Spain)
Tommaso Flaminio (IIIA-CSIC, Spain)
Sabine Frittella (INSA Centre Val de Loire, France)
Brunella Gerla (University of Insubria, Italy)
Lluis Godo (IIIA-CSIC, Spain)
Rafal Gruszczynski (Nicolaus Copernicus University, Poland)
Hykel Hosni (University of Milan, Italy)
Rosalie Iemhoff (Utrecht University, Netherlands)
George Metcalfe (University of Bern, Switzerland)
Tommaso Moraschini (University of Barcelona, Spain)
Sara Negri (University of Genoa, Italy)
Carles Noguera (University of Siena, Italy)
Alessandra Palmigiano (Vrije Universiteit Amsterdam, Netherlands)
David Pym (University College London, UK)
Giovanni Sartor (University of Bologna and European University Institute, Italy)
Luca Spada (University of Salerno, 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)
Please note that this newsitem has been archived, and may contain outdated information or links.