[DL] [CfP] - MOSAIC 2023, Vienna (Austria)

[Dik, Josephine Femke]

 Modalities in Substructural Logic: Theory, Methods and Applications (MOSAIC 2023) will be held on 27-29 September

2023 in Vienna, (Austria).


https://sites.google.com/view/mosaic2023/home?authuser=0


The workshop 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.


MOSAIC 2023 invites submissions on a variety of topics on non-classical logics and their applications, with
special emphasis on modal substructural logics. We therefore invite contributions on relevant aspects of
non-classical logics, such as:


* 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.


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/conferences/?conf=mosaic2023


IMPORTANT DATES


* Submission deadline: May 15

* Notification: June 30

* Conference: 27-29 September


INVITED SPEAKERS include:


* 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


Marta Bílková (Czech Republic)

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)

Sara Negri (Italy)

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


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.zih.tu-dresden.de/pipermail/dl/attachments/20230418/9bbc1efb/attachment.htm>