[TYPES/announce] [final CfP+new submission link] MODALITIES IN SUBSTRUCTURAL LOGICS at ESSLLI

[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://urldefense.com/v3/__https://2023.esslli.eu__;!!IBzWLUs!VAPo03u4AjQD32yVybzOrRldgJQwz1-US_pi6RQwxSmZFOXjrBbd2QypEkwnWnV0sA1w_7RYuEoR5xoJacPcincerBl0_CNU0BVqIQ$ 

INVITED SPEAKERS

- Alessandra Palmigiano (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 https://urldefense.com/v3/__http://style.eptcs.org__;!!IBzWLUs!VAPo03u4AjQD32yVybzOrRldgJQwz1-US_pi6RQwxSmZFOXjrBbd2QypEkwnWnV0sA1w_7RYuEoR5xoJacPcincerBl0_CNrSV5z0w$ , also on Overleaf), and upload the pdf to EasyChair via the link (CORRECTED!):

 https://urldefense.com/v3/__https://easychair.org/conferences/?conf=amslo23__;!!IBzWLUs!VAPo03u4AjQD32yVybzOrRldgJQwz1-US_pi6RQwxSmZFOXjrBbd2QypEkwnWnV0sA1w_7RYuEoR5xoJacPcincerBl0_COmpWFCdQ$ 

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

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://urldefense.com/v3/__https://sites.google.com/view/mosaic-rise__;!!IBzWLUs!VAPo03u4AjQD32yVybzOrRldgJQwz1-US_pi6RQwxSmZFOXjrBbd2QypEkwnWnV0sA1w_7RYuEoR5xoJacPcincerBl0_CP6DiuRWg$ ). 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)
- 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)



-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20230515/77d3ac22/attachment-0001.htm>