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/Events/Conferences/newsitem/160
 97/18-July-2026-Structure-Meets-Power-2026-LICS-Wo
 rkshop-@-FLoC-Lisbon-PT-and-online
DTSTAMP:20260305T101256
SUMMARY:Structure Meets Power 2026 (LICS Workshop 
 @ FLoC), Lisbon [PT] and online
DTSTART;VALUE=DATE:20260718
DTEND;VALUE=DATE:20260718
LOCATION:Lisbon [PT] and online
DESCRIPTION:There is a remarkable divide in the fi
 eld of Logic in Computer Science between two disti
 nct strands: one focuses on semantics and composit
 ionality (“Structure”), the other on expressivenes
 s and complexity (“Power”). These two traditions a
 re studied by almost disjoint research communities
  using distinct technical languages and methods. W
 e believe that bringing these communities and rese
 arch fields together is an important objective for
  Computer Science, which may hold the key to funda
 mental advances in the field.  The aim of this wor
 kshop is to attract researchers working at the bou
 ndary of these two strands, as well as those on ei
 ther side of the divide who are interested in esta
 blishing new connections.  Researchers wishing to 
 give a talk at the workshop are invited to submit 
 an extended abstract of up to three pages (excludi
 ng references) describing the key points of the pr
 oposed presentation on the topics of semantics and
 /or compositionality in the field of Logic in Comp
 uter Science.   Submissions at all stages of devel
 opment are invited, including novel contributions,
  previously published work, work in progress, and 
 survey-style presentations. Depending on the numbe
 r of submissions, contributed talks will be 20–30 
 minutes in length.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>There is 
 a remarkable divide in the field of Logic in Compu
 ter Science between two distinct strands: one focu
 ses on semantics and compositionality (“Structure”
 ), the other on expressiveness and complexity (“Po
 wer”). These two traditions are studied by almost 
 disjoint research communities using distinct techn
 ical languages and methods. We believe that bringi
 ng these communities and research fields together 
 is an important objective for Computer Science, wh
 ich may hold the key to fundamental advances in th
 e field.</p>\n  <p>The aim of this workshop is to 
 attract researchers working at the boundary of the
 se two strands, as well as those on either side of
  the divide who are interested in establishing new
  connections.</p>\n</div><div>\n  <p>Researchers w
 ishing to give a talk at the workshop are invited 
 to submit an extended abstract of up to three page
 s (excluding references) describing the key points
  of the proposed presentation on the topics of sem
 antics and/or compositionality in the field of Log
 ic in Computer Science.&nbsp;</p>\n  <p>Submission
 s at all stages of development are invited, includ
 ing novel contributions, previously published work
 , work in progress, and survey-style presentations
 . Depending on the number of submissions, contribu
 ted talks will be 20–30 minutes in length.</p>\n</
 div>
URL:https://structuremeetspower.github.io/SmP2026/
END:VEVENT
END:VCALENDAR