[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
****************************************
STRUCTURE MEETS POWER 2026
(LICS Workshop at FLoC)
Call for Contributions
****************************************
Workshop dates: 18 July 2026 (Lisbon)
https://urldefense.com/v3/__https://structuremeetspower.github.io/SmP2026/__;!!IBzWLUs!WHd-laxXNcGJEOlzZMHnJKJ1VoYWjiuLdX5uq4a0zSE3Dqobvvil0uowXoOIFvCgyS_0dpUXRriYgSVDXrSn_bzXqNnk-g$
Aim
——-
There is a remarkable divide in the field of Logic in Computer Science between
two distinct strands: one focuses on semantics and compositionality
(“Structure”), the other on expressiveness and complexity (“Power”). These two
traditions are studied by almost disjoint research communities using distinct
technical languages and methods.
We believe that bringing these communities and research fields together is an
important objective for Computer Science, which may hold the key to fundamental
advances in the field.
The aim of this workshop is to attract researchers working at the boundary of
these two strands, as well as those on either side of the divide who are
interested in establishing new connections.
Previous workshops on this theme were held as affiliated workshops of LICS
2021<https://urldefense.com/v3/__https://www.cst.cam.ac.uk/conference/structure-meets-power-2021__;!!IBzWLUs!WHd-laxXNcGJEOlzZMHnJKJ1VoYWjiuLdX5uq4a0zSE3Dqobvvil0uowXoOIFvCgyS_0dpUXRriYgSVDXrSn_bzC6jMfoA$
>, ICALP
2022<https://urldefense.com/v3/__https://www.cst.cam.ac.uk/conference/structure-meets-power-2022__;!!IBzWLUs!WHd-laxXNcGJEOlzZMHnJKJ1VoYWjiuLdX5uq4a0zSE3Dqobvvil0uowXoOIFvCgyS_0dpUXRriYgSVDXrSn_bwymtP3Mw$
>, LICS
2023<https://urldefense.com/v3/__https://www.cst.cam.ac.uk/conference/structure-meets-power-2023__;!!IBzWLUs!WHd-laxXNcGJEOlzZMHnJKJ1VoYWjiuLdX5uq4a0zSE3Dqobvvil0uowXoOIFvCgyS_0dpUXRriYgSVDXrSn_bwanKw6MA$
>, and LICS
2024<https://urldefense.com/v3/__https://www.cst.cam.ac.uk/conference/structure-meets-power-2024__;!!IBzWLUs!WHd-laxXNcGJEOlzZMHnJKJ1VoYWjiuLdX5uq4a0zSE3Dqobvvil0uowXoOIFvCgyS_0dpUXRriYgSVDXrSn_bzKtYPg_w$
>.
This is an affiliated workshop of LICS
2026<https://urldefense.com/v3/__https://lics.siglog.org/lics26/__;!!IBzWLUs!WHd-laxXNcGJEOlzZMHnJKJ1VoYWjiuLdX5uq4a0zSE3Dqobvvil0uowXoOIFvCgyS_0dpUXRriYgSVDXrSn_bz7Pj6nmQ$
>, taking place at FLoC
2026<https://urldefense.com/v3/__https://www.floc26.org/__;!!IBzWLUs!WHd-laxXNcGJEOlzZMHnJKJ1VoYWjiuLdX5uq4a0zSE3Dqobvvil0uowXoOIFvCgyS_0dpUXRriYgSVDXrSn_bzv3kWR-Q$
>.
Important dates
—————————
Workshop date: 18 July 2026
Abstract submission deadline: 15 May 2026
Author notification: 30 May 2026
Invited speakers
—————————
TBA
Submission
—————————
Researchers wishing to give a talk at the workshop are invited to submit an
extended abstract of up to three pages (excluding references) describing the
key points of the proposed presentation.
Submissions must have a single author, who will be the speaker.
Co-authors should be clearly credited in the abstract and on the slides.
Submission instructions are available on the workshop website:
https://urldefense.com/v3/__https://structuremeetspower.github.io/SmP2026/__;!!IBzWLUs!WHd-laxXNcGJEOlzZMHnJKJ1VoYWjiuLdX5uq4a0zSE3Dqobvvil0uowXoOIFvCgyS_0dpUXRriYgSVDXrSn_bzXqNnk-g$
We encourage submissions at all stages of development, including novel
contributions, previously published work, work in progress, and survey-style
presentations.
Depending on the number of submissions, contributed talks will be 20–30 minutes
in length.
Organising and Programme Committee
——————————————————————
* Samson Abramsky
* Tomáš Jakl
* Dan Marsden
* Yoàv Montacute
* Luca Reggio
