<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=Windows-1252">
<style type="text/css" style="display:none;"><!-- P {margin-top:0;margin-bottom:0;} --></style>
</head>
<body dir="ltr">
<div id="divtagdefaultwrapper" style="font-size:12pt;color:#000000;font-family:Calibri,Helvetica,sans-serif;" dir="ltr">
<p><span style="font-size: 12pt;"> </span><span style="color: rgb(44, 54, 58); font-family: "Courier New"; font-size: 10pt;">Modalities in Substructural Logic: Theory, Methods and Applications (MOSAIC 2023) will be held on 27-29 September</span></p>
<div style="color: rgb(0, 0, 0);">
<div>
<div style="">
<p style="margin: 0cm; font-size: 11pt; font-family: Calibri, sans-serif;"><span style="font-size:10.0pt; font-family:"Courier New"; color:#2C363A"><span style="background:white">2023 in Vienna, (Austria). </span><br>
<br>
<br>
</span><a href="https://sites.google.com/view/mosaic2023/home?authuser=0" target="_blank" style="color: blue; text-decoration: underline;" id="LPlnk660565"><span style="font-size:10.0pt; font-family:"Courier New"; color:#00ACFF; background:white; text-decoration:none">https://sites.google.com/view/mosaic2023/home?authuser=0</span></a><span style="font-size:10.0pt; font-family:"Courier New"; color:#2C363A"><br>
<br>
<br>
<span style="background:white">The workshop is an event of the RISE-MSCA project MOSAIC.</span><br>
<br>
<br>
</span><a href="https://sites.google.com/view/mosaic-rise/home?authuser=0" target="_blank" style="color: blue; text-decoration: underline;"><span style="font-size:10.0pt; font-family:"Courier New"; color:#00ACFF; background:white; text-decoration:none">https://sites.google.com/view/mosaic-rise/home?authuser=0</span></a><span style="font-size:10.0pt; font-family:"Courier New"; color:#2C363A"><br>
<br>
<br>
<span style="background:white">The RISE-MSCA project MOSAIC — “Modalities in Substructural Logic: Theory, Methods and Applications” aims at:</span><br>
<br>
<br>
<span style="background:white">1. Putting forward a comprehensive and unifying logico-mathematical study of substructural modal logics, that is,</span><br>
<span style="background:white">substructural logics with modalities.</span><br>
<br>
<span style="background:white">2. Exploring the application of substructural modal logics, in particular, in the areas of Artificial</span><br>
<span style="background:white">Intelligence; legal reasoning; data privacy and security; logical analysis of natural language.</span><br>
<br>
<br>
<span style="background:white">MOSAIC 2023 invites submissions on a variety of topics on non-classical logics and their applications, with</span><br>
<span style="background:white">special emphasis on modal substructural logics. We therefore invite contributions on relevant aspects of</span><br>
<span style="background:white">non-classical logics, such as:</span><br>
<br>
<br>
<span style="background:white">* Proof Theory and complexity;</span><br>
<br>
<span style="background:white">* Algebraic Semantics;</span><br>
<br>
<span style="background:white">* Relational frames and structural properties;</span><br>
<br>
<span style="background:white">* Coalgebras, Correspondence theory;</span><br>
<br>
<span style="background:white">* Fixpoint logics;</span><br>
<br>
<span style="background:white">* Logics for reasoning about norms, time, preferences, uncertainty;</span><br>
<br>
<span style="background:white">* Automated Deduction;</span><br>
<br>
<span style="background:white">* Applications of non-classical logics.</span><br>
<br>
<br>
<span style="background:white">Abstracts of contributed talks of 2-4 pages are to be prepared using the EasyChair class style</span><br>
<span style="background:white">(</span></span><a href="https://easychair.org/publications/for_authors" target="_blank" style="color: blue; text-decoration: underline;"><span style="font-size:10.0pt; font-family:"Courier New"; color:#00ACFF; background:white; text-decoration:none">https://easychair.org/publications/for_authors</span></a><span style="font-size:10.0pt; font-family:"Courier New"; color:#2C363A; background:white">)
and submitted via</span><span style="font-size:10.0pt; font-family:"Courier New"; color:#2C363A"><br>
<br>
<br>
</span><a href="https://easychair.org/conferences/?conf=mosaic2023" target="_blank" style="color: blue; text-decoration: underline;"><span style="font-size:10.0pt; font-family:"Courier New"; color:#00ACFF; background:white; text-decoration:none">https://easychair.org/conferences/?conf=mosaic2023</span></a><span style="font-size:10.0pt; font-family:"Courier New"; color:#2C363A"><br>
<br>
<br>
<span style="background:white">IMPORTANT DATES</span><br>
<br>
<br>
<span style="background:white">* Submission deadline: May 15</span><br>
<br>
<span style="background:white">* Notification: June 30</span><br>
<br>
<span style="background:white">* Conference: 27-29 September</span><br>
<br>
<br>
<span style="background:white">INVITED SPEAKERS include:</span><br>
<br>
<br>
<span style="background:white">* Nick Bezhanishvili (University of Amsterdam)</span><br>
<br>
<span style="background:white">* Serafina Lapenta (University of Salerno)</span><br>
<br>
<span style="background:white">* Elaine Pimentel (University College of London)</span><br>
<br>
<span style="background:white">* Adam Prenosil (University of Barcelona)</span><br>
<br>
<span style="background:white">* Carles Sierra (Artificial Intelligence Research Institute of Barcelona)</span><br>
<br>
<br>
<span style="background:white">PROGRAM COMMITTEE</span><br>
<br>
<br>
<span style="background:white">Marta Bílková (Czech Republic)</span><br>
<br>
<span style="background:white">Agata Ciabattoni (Austria) (Chair)</span><br>
<br>
<span style="background:white">Pilar Dellunde (Spain)</span><br>
<br>
<span style="background:white">Tommaso Flaminio (Spain) (co-Chair)</span><br>
<br>
<span style="background:white">Sabine Frittella (France)</span><br>
<br>
<span style="background:white">Brunella Gerla (Italy)</span><br>
<br>
<span style="background:white">Lluis Godo (Spain)</span><br>
<br>
<span style="background:white">Rafal Gruszczynski (Poland)</span><br>
<br>
<span style="background:white">Hykel Hosni (Italy)</span><br>
<br>
<span style="background:white">Rosalie Iemhoff (The Netherlands)</span><br>
<br>
<span style="background:white">George Metcalfe (Switzerland)</span><br>
<br>
<span style="background:white">Tommaso Moraschini (Spain)</span><br>
<br>
<span style="background:white">Sara Negri (Italy)</span><br>
<br>
<span style="background:white">Carles Noguera (Italy)</span><br>
<br>
<span style="background:white">Alessandra Palmigiano (The Netherlands)</span><br>
<br>
<span style="background:white">David Pym (UK)</span><br>
<br>
<span style="background:white">Giovanni Sartor (Italy)</span><br>
<br>
<span style="background:white">Luca Spada (Italy)</span><br>
<br>
<br>
<span style="background:white">ORGANIZING COMMITTEE:</span><br>
<br>
<br>
<span style="background:white">Agata Ciabattoni</span><br>
<br>
<span style="background:white">Robert Freiman</span><br>
<br>
<span style="background:white">Dmitry Rozplokhas</span><br>
<br>
<span style="background:white">Dominik Pichler</span><br>
<br>
<span style="background:white">Josephine Dik</span></span></p>
<p style="margin: 0cm; font-size: 11pt; font-family: Calibri, sans-serif;"> </p>
</div>
</div>
</div>
</div>
</body>
</html>