[Event at CIG] Submissions invited to ESSLLI workshop: Modalities in Substructural Logics and Applications (AMSLO)

[Sadrzadeh, Mehrnoosh]

MODALITIES IN SUBSTRUCTURAL LOGICS: Applications at the interfaces of logic, language and computation

Workshop at ESSLLI 2023, 7-8 August 2023, Ljubljana, Slovenia, https://2023.esslli.eu

ORGANIZERS

Michael Moortgat (m.j.moortgat at uu.nl), Mehrnoosh Sadrzadeh (m.sadrzadeh at 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

INVITED SPEAKERS

TBA

PROGRAMME COMMITTEE

- Nick Bezhanishvili (U of Amsterdam)
- Sabine Fritella (INSA)
- Rajeev Gore (ANU Canberra)
- Giuseppe Greco (Vrije Universiteit Amsterdam)
- 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)

SUBMISSIONS

We invite anonymized submissions of papers of up to 12 pages reporting on original work that has not been published or submitted elsewhere. Each submission will be refereed by three PC members. Accepted submissions 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.

IMPORTANT DATES

- 19 May 2023: Submission deadline
- 23 June 2023: Notification to authors
- 7 July 2023: Final copy due
- 7-8 August 2022: Workshop

Easychair CfP:  https://easychair.org/cfp/content.cgi?a=30697061