IMPORTANT DATES (EXTENDED DEADLINE!)

• 19 May 2023: Title and short abstract registration deadline
• 29 May 2023: Full paper submission deadline
• 23 June 2023: Notification to authors
• 7 July 2023: Final copy due
• 7-8 August 2022: Workshop

INVITED SPEAKERS

• Alessandra Palmigiano (Vrije Universiteit Amsterdam)
• Max Kanovitch (UCL)

SUBMISSIONS (SHORT and LONG PAPERS!)

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.

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, https://easychair.org/conferences/?conf=amslo23.

ORGANIZERS

Michael Moortgat (m.j.moortgat@uu.nl), Mehrnoosh Sadrzadeh (m.sadrzadeh@ucl.ac.uk)

BACKGROUND 

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:

• Putting forward a comprehensive and unifying logico-mathematical study of substructural modal logics, that is, substructural logics with modalities;
• 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.

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.

WORKSHOP THEME

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.

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,

• Modalities in extended typelogical grammars
• Refinements of the linear exponential: prooftheoretic and semantic aspects
• Modalities and the dynamics of NL interpretation: ellipsis, gapping, pronoun resolution
• Substructural Dynamic Epistemic Logic, Intuitionistic Public Announcement logic
• Epistemic substructural logics, e.g. Epistemic Separation Logic
• Intuitionistic Modal Logics
• Quantum Dynamic Logic

PROGRAMME COMMITTEE

• Nick Bezhanishvili (U of Amsterdam) 
• Sabine Fritella (INSA)- Rajeev Gore (ANU Canberra) 
• Giuseppe Greco (Vrije Universiteit Amsterdam) 
• Rajeev Gore (ANU Canberra)
• Rosalie Iemhoff (Utrecht University) 
• Michael Moortgat (Utrecht University, co-chair)
• Richard Moot (LIRMM Montpellier) 
• Valeria de Paiva (Topos Institute, Berkeley)
• Mehrnoosh Sadrzadeh (UCL, co-chair)
• Andre Scedrov (UPenn) 
• Sonja Smets (U of Amsterdam)