Structure Meets Power 2023

Join us at Structure Meets Power 2024!

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 almost disjoint technical languages and methods.

We believe that bringing these communities and research fields together is an important objective in Computer Science, which may hold the key to fundamental advances in the field. The aim of this workshop is to attract investigators at the boundary of the two strands, and those on either side of the divide interested in establishing new connections.

Previous workshops on this theme were held as affiliated workshops of LiCS 2021 and ICALP 2022.

This is a LiCS 2023 affiliated workshop. It will be a hybrid event, however on-site participation is highly encouraged.

Dates

News

• 13 June 2023: the book of abstracts is online.
• 12 June 2023: the workshop programme is online.
• 14 April 2023: submission and registration information provided
• 27 February 2023: webpage created

Invited speakers

• Alexandra Silva (Cornell University)
• Howard Straubing (Boston College)

Submission

Those wishing to give a talk at the workshop are invited to submit an Extended Abstract of up to three pages (including references) describing the key points of the presentation.

Submissions should only have a single author — the speaker. Any co-authors should be clearly credited in the abstract and on the slides.

For submissions please use the following Google form:

• Abstract Submission Form
• (If you encounter any issues with the form, please let us know.)

We encourage talks at all levels of progress, including novel contributions, already published results, works in progress, as
well as survey-type contributions.

Depending on the number of submissions, contributed talks will be 20-30 minutes long.

Registration

There will be two types of participation, online and in person.

• Online participants are required to fill out the following Google form: Online Participation Form
• For both in-person and online participation, you must register for the workshop on the LICS website: https://lics.siglog.org/lics23/
  • Registration and information regarding logistics are now available:
    https://lics.siglog.org/lics23/registration.php
    https://lics.siglog.org/lics23/logistics.php
  • Accommodation in Boston is at premium price during the workshop. Please book your trip soon.

Organising and Programme Committee

* Samson Abramsky
* Anuj Dawar
* Tomas Jakl
* Dan Marsden
* Yoàv Montacute
* Nihil Shah