BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2023/newsitem/14218/7-
 --8-August-2023-ESSLLI2023-Workshop-Modalities-in-
 substructural-logics-Applications-at-the-interface
 s-of-logic-language-and-computation-
DTSTAMP:20230410T131001
SUMMARY:ESSLLI2023 Workshop "Modalities in substru
 ctural logics: Applications at the interfaces of l
 ogic, language and computation"
DTSTART;VALUE=DATE:20230807
DTEND;VALUE=DATE:20230808
LOCATION:Ljubljana, Slovenia
DESCRIPTION:Substructural logics have brought to t
 he fore new forms of reasoning and provided applic
 ations for a variety of disciplines. Modalities, i
 n the substructural setting, provide the tools to 
 control and finetune the logical resource manageme
 nt.The focus of this workshop is on applications i
 n the areas of interest to the ESSLLI community, i
 n particular logical approaches to natural languag
 e syntax and semantics and the dynamics of reasoni
 ng.  The workshop is held with the support of the 
 Horizon 2020 MSCA-Rise project MOSAIC.  Submission
 s are invited through EasyChair at https://easycha
 ir.org/cfp/content.cgi?a=30697061. Topics for subm
 issions included but are not limited to:  - Modali
 ties in extended typelogical grammars  - Refinemen
 ts of the linear exponential: prooftheoretic and s
 emantic aspects  - Modalities and the dynamics of 
 NL interpretation: ellipsis, gapping, pronoun reso
 lution  - Substructural Dynamic Epistemic Logic, I
 ntuitionistic Public Announcement logic  - Epistem
 ic substructural logics, e.g. Epistemic Separation
  Logic  - Intuitionistic Modal Logics  - Quantum D
 ynamic Logic
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>Substruct
 ural logics have brought to the fore new forms of 
 reasoning and provided applications for a variety 
 of disciplines. Modalities, in the substructural s
 etting, provide the tools to control and finetune 
 the logical resource management.The focus of this 
 workshop is on applications in the areas of intere
 st to the ESSLLI community, in particular logical 
 approaches to natural language syntax and semantic
 s and the dynamics of reasoning.</p>\n  <p>The wor
 kshop is held with the support of the Horizon 2020
  MSCA-Rise project MOSAIC.</p>\n</div><div>\n  <p>
 Submissions are invited through EasyChair at <a hr
 ef="https://easychair.org/cfp/content.cgi?a=306970
 61" target="_blank">https://easychair.org/cfp/cont
 ent.cgi?a=30697061</a>. Topics for submissions inc
 luded but are not limited to:<br>\n  - Modalities 
 in extended typelogical grammars<br>\n  - Refineme
 nts of the linear exponential: prooftheoretic and 
 semantic aspects<br>\n  - Modalities and the dynam
 ics of NL interpretation: ellipsis, gapping, prono
 un resolution<br>\n  - Substructural Dynamic Epist
 emic Logic, Intuitionistic Public Announcement log
 ic<br>\n  - Epistemic substructural logics, e.g. E
 pistemic Separation Logic<br>\n  - Intuitionistic 
 Modal Logics<br>\n  - Quantum Dynamic Logic</p>\n<
 /div>
URL:https://2023.esslli.eu/courses-workshops-accep
 ted/course-information.html#2-13
CONTACT:Mehrnoosh Sadrzadeh at m.sadrzadeh at ucl.
 ac.uk
END:VEVENT
END:VCALENDAR