<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof ContentPasted0">
MODALITIES IN SUBSTRUCTURAL LOGICS:</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof ContentPasted0">
<div class="ContentPasted0">Applications at the interfaces of logic, language and computation</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">Workshop at ESSLLI 2023, 7-8 August 2023, Ljubljana, Slovenia, https://2023.esslli.eu</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">INVITED SPEAKERS</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">- Alessandra Palmigiano (Amsterdam)</div>
<div class="ContentPasted0">- Max Kanovitch (UCL) </div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">SUBMISSIONS (SHORT and LONG PAPERS!)</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">We invite anonymized submissions of either (1) short papers of up to 4 pages, or (2) full articles of up to 12 pages. Short papers can be reporting on existing or in progress work. Full articles should be original work that has
not been published or submitted elsewhere. Each submission will be refereed by three PC members. Accepted full articles will be published as a volume of Electronic Proceedings in Theoretical Computer Science (EPTCS), available at the workshop.</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">Please prepare your submission using LaTeX, using the EPTCS style (available at http://style.eptcs.org, also on Overleaf), and upload the pdf to EasyChair via the link (CORRECTED!):</div>
<div class="ContentPasted0"><br>
</div>
<div class="ContentPasted0"><b> https://easychair.org/conferences/?conf=amslo23</b></div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">IMPORTANT DATES (EXTENDED DEADLINE!)</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">- 19 May 2023: Title and short abstract registration deadline</div>
<div class="ContentPasted0">- 29 May 2023: Full paper submission deadline </div>
<div class="ContentPasted0">- 23 June 2023: Notification to authors</div>
<div class="ContentPasted0">- 7 July 2023: Final copy due</div>
<div class="ContentPasted0">- 7-8 August 2022: Workshop</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">ORGANIZERS</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">Michael Moortgat (m.j.moortgat@uu.nl), Mehrnoosh Sadrzadeh (m.sadrzadeh@ucl.ac.uk)</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">BACKGROUND </div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">The workshop is held with the support of the Horizon 2020 MSCA-Rise project MOSAIC (https://sites.google.com/view/mosaic-rise). The aim of this project is twofold:</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">- Putting forward a comprehensive and unifying logico-mathematical study of substructural modal logics, that is, substructural logics with modalities;</div>
<div class="ContentPasted0">- 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.</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">The workshop is complementary to the course "Modal Lambek Calculus and its Natural Language Applications" (Sadrzadeh and Wijnholds) held during the first week of ESSLLI 2023.</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">WORKSHOP THEME</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">By calling into question the implicit structural rules that are taken for granted in classical logic, substructural logics have brought to the fore new forms of reasoning with applications in many interdisciplinary areas of interest.
Modalities, in the substructural setting, provide the tools to control and finetune the logical resource management.</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">The focus of the workshop is on applications in the areas of interest to the ESSLLI community, in particular logical approaches to natural language syntax and semantics and the dynamics of reasoning. The workshop welcomes contributions
on topics including, but not limited to,</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">- Modalities in extended typelogical grammars</div>
<div class="ContentPasted0">- Refinements of the linear exponential: prooftheoretic and semantic aspects</div>
<div class="ContentPasted0">- Modalities and the dynamics of NL interpretation: ellipsis, gapping, pronoun resolution</div>
<div class="ContentPasted0">- Substructural Dynamic Epistemic Logic, Intuitionistic Public Announcement logic</div>
<div class="ContentPasted0">- Epistemic substructural logics, e.g. Epistemic Separation Logic</div>
<div class="ContentPasted0">- Intuitionistic Modal Logics</div>
<div class="ContentPasted0">- Quantum Dynamic Logic</div>
<div><br class="ContentPasted0">
</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">PROGRAMME COMMITTEE</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">- Nick Bezhanishvili (U of Amsterdam) </div>
<div class="ContentPasted0">- Sabine Fritella (INSA)</div>
<div class="ContentPasted0">- Rajeev Gore (ANU Canberra) </div>
<div class="ContentPasted0">- Giuseppe Greco (Vrije Universiteit Amsterdam) </div>
<div class="ContentPasted0">- Rosalie Iemhoff (Utrecht University) </div>
<div class="ContentPasted0">- Michael Moortgat (Utrecht University, co-chair)</div>
<div class="ContentPasted0">- Richard Moot (LIRMM Montpellier) </div>
<div class="ContentPasted0">- Valeria de Paiva (Topos Institute, Berkeley)</div>
<div class="ContentPasted0">- Mehrnoosh Sadrzadeh (UCL, co-chair)</div>
<div class="ContentPasted0">- Andre Scedrov (UPenn) </div>
<div class="ContentPasted0">- Sonja Smets (U of Amsterdam) </div>
<div><br class="ContentPasted0">
</div>
<div><br class="ContentPasted0">
</div>
<br>
</div>
</body>
</html>