posted by user: tommasoflaminio || 1163 views || tracked by 1 users: [display]

MOSAIC 2023 : Modalities in Substructural Logics: Theory, Methods and Applications

FacebookTwitterLinkedInGoogle

Link: https://sites.google.com/view/mosaic2023/home
 
When Sep 27, 2023 - Sep 29, 2023
Where Vienna, Austria
Submission Deadline Jun 2, 2023
Notification Due Jun 30, 2023
Categories    logic   modalities   computer science   reasoning
 

Call For Papers

MOSAIC 2023 is an event of the RISE-MSCA project MOSAIC.

https://sites.google.com/view/mosaic-rise/home?authuser=0

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, in particular, in the areas of Artificial Intelligence; legal reasoning; data privacy and security; logical analysis of natural language.

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

List of Topics:

(*) Proof Theory and complexity;
(*) Algebraic Semantics;
(*) Relational frames and structural properties;
(*) Coalgebras, Correspondence theory;
(*) Fixpoint logics;
(*) Logics for reasoning about norms, time, preferences, uncertainty;
(*) Automated Deduction;
(*) Applications of non-classical logics.

Invited Speakers

(+) Nick Bezhanishvili (University of Amsterdam)
(+) Serafina Lapenta (University of Salerno)
(+) Elaine Pimentel (University College of London)
(+) Adam Prenosil (University of Barcelona)
(+) Carles Sierra (Artificial Intelligence Research Institute of Barcelona)


Program Committee

Agata Ciabattoni (Austria) (Chair)
Pilar Dellunde (Spain)
Tommaso Flaminio (Spain) (co-Chair)
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)
Carles Noguera (Italy)
Alessandra Palmigiano (The Netherlands)
David Pym (UK)
Giovanni Sartor (Italy)
Luca Spada (Italy)

Organizing committee

Agata Ciabattoni
Robert Freiman
Dmitry Rozplokhas
Dominik Pichler
Josephine Dik

Contact: Please visit https://sites.google.com/view/mosaic2023/local-info

Sponsors

This event has received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No 101007627

Related Resources

ICoCTA 2024   2024 4th International Conference on Control Theory and Applications
Ei/Scopus-AACIP 2024   2024 2nd Asia Conference on Algorithms, Computing and Image Processing (AACIP 2024)-EI Compendex
ReacTS 2024   International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications
IEEE-Ei/Scopus-ACEPE 2024   2024 IEEE Asia Conference on Advances in Electrical and Power Engineering (ACEPE 2024) -Ei Compendex
MLDS 2024   5th International Conference on Machine Learning Techniques and Data Science
GreeNet Symposium - SGNC 2024   15th Symposium on Green Networking and Computing (SGNC 2024)
IEEE-Ei/Scopus-SGGEA 2024   2024 Asia Conference on Smart Grid, Green Energy and Applications (SGGEA 2024) -EI Compendex
ICMLA 2024   23rd International Conference on Machine Learning and Applications
BDCAT 2024   IEEE/ACM Int’l Conf. on Big Data Computing, Applications, and Technologies
SPIE-Ei/Scopus-ITNLP 2024   2024 4th International Conference on Information Technology and Natural Language Processing (ITNLP 2024) -EI Compendex