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/14271/7-
 --8-August-2023-ESSLLI-Workshop-Modalities-in-subs
 tructural-logics-applications-at-the-interfaces-of
 -logic-language-and-computation-AMSLO23-
DTSTAMP:20230511T150550
SUMMARY:ESSLLI Workshop "Modalities in substructur
 al logics: applications at the interfaces of logic
 , language and computation" (AMSLO23)
DTSTART;VALUE=DATE:20230807
DTEND;VALUE=DATE:20230808
LOCATION:Ljubljana, Slovenia
DESCRIPTION:By calling into question the implicit 
 structural rules that are taken for granted in cla
 ssical logic, substructural logics have brought to
  the fore new forms of reasoning with applications
  in many interdisciplinary areas of interest. Moda
 lities, in the substructural setting, provide the 
 tools to control and finetune the logical resource
  management.  The focus of the workshop is on appl
 ications in the areas of interest to the ESSLLI co
 mmunity, in particular logical approaches to natur
 al language syntax and semantics and the dynamics 
 of reasoning. The workshop welcomes contributions 
 on topics including, but not limited to,  Modaliti
 es in extended typelogical grammarsRefinements of 
 the linear exponential: prooftheoretic and semanti
 c aspectsModalities and the dynamics of NL interpr
 etation: ellipsis, gapping, pronoun resolutionSubs
 tructural Dynamic Epistemic Logic, Intuitionistic 
 Public Announcement logicEpistemic substructural l
 ogics, e.g. Epistemic Separation LogicIntuitionist
 ic Modal LogicsQuantum Dynamic Logic  We invite an
 onymized submissions of either (1) short papers of
  up to 4 pages, or (2) full articles of up to 12 p
 ages. Short papers can be reporting on existing or
  in progress work. Full articles should be origina
 l work that has not been published or submitted el
 sewhere. Each submission will be refereed by three
  PC members. Accepted full articles will be publis
 hed as a volume of Electronic Proceedings in Theor
 etical Computer Science (EPTCS), available at the 
 workshop.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>By callin
 g into question the implicit structural rules that
  are taken for granted in classical logic, substru
 ctural logics have brought to the fore new forms o
 f reasoning with applications in many interdiscipl
 inary areas of interest. Modalities, in the substr
 uctural setting, provide the tools to control and 
 finetune the logical resource management.</p>\n  <
 p>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 in
 cluding, but not limited to,</p>\n  <p>Modalities 
 in extended typelogical grammarsRefinements of the
  linear exponential: prooftheoretic and semantic a
 spectsModalities and the dynamics of NL interpreta
 tion: ellipsis, gapping, pronoun resolutionSubstru
 ctural Dynamic Epistemic Logic, Intuitionistic Pub
 lic Announcement logicEpistemic substructural logi
 cs, e.g. Epistemic Separation LogicIntuitionistic 
 Modal LogicsQuantum Dynamic Logic</p>\n</div><div>
 \n  <p>We invite anonymized submissions of either 
 (1) short papers of up to 4 pages, or (2) full art
 icles of up to 12 pages. Short papers can be repor
 ting on existing or in progress work. Full article
 s should be original work that has not been publis
 hed or submitted elsewhere. Each submission will b
 e refereed by three PC members. Accepted full arti
 cles will be published as a volume of Electronic P
 roceedings in Theoretical Computer Science (EPTCS)
 , available at the workshop.</p>\n</div>
URL:https://easychair.org/cfp/AMSLO23
CONTACT:Mehrnoosh Sadrzadeh at m.sadrzadeh at ucl.
 ac.uk
END:VEVENT
END:VCALENDAR
