[TYPES/announce] Structure meets Power 2024

[Dan Marsden]

****************************************
STRUCTURE MEETS POWER 2024

(LICS/ICALP/FSCD workshop)

Call for Contributions
****************************************

Workshop dates: 07 July 2024 (Tallinn and online)

https://urldefense.com/v3/__https://www.cst.cam.ac.uk/conference/structure-meets-power-2024__;!!IBzWLUs!Xh28Zo-LoxHIYlJ2TSazQXQD5t9Xa3STKPeDSJpgJetxA-CjSbrZreX1FxihOCUWsr4dSl_swPcpnugm0zjkKzW13z2EQkYFpCDuPkMAKtY$ 

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 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, ICALP 2022 and LiCS 2023. This is a LiCS/ICALP 2024 affiliated workshop. It will be a hybrid event, however on-site participation is highly encouraged.

Important dates
—————————
Workshop dates: 07 July 2024
Abstract submission deadline: 17 May 2024
Author notification: 1 June 2024

Invited speakers
—————————
*Karoliina Lehtinen (LIS, Aix-Marseille University)
*Tarmo Uustalu (Reykjavik University)

Submission
—————————
Those 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 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 follow the instructions on the workshop
website:

https://urldefense.com/v3/__https://www.cst.cam.ac.uk/conference/structure-meets-power-2024__;!!IBzWLUs!Xh28Zo-LoxHIYlJ2TSazQXQD5t9Xa3STKPeDSJpgJetxA-CjSbrZreX1FxihOCUWsr4dSl_swPcpnugm0zjkKzW13z2EQkYFpCDuPkMAKtY$ 

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
———————
TBD

Organising and Programme Committee
——————————————————————
* Samson Abramsky
* Anuj Dawar
* Tomas Jakl
* Dan Marsden
* Yoàv Montacute
* Luca Reggio
* Nihil Shah
This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please contact the sender and delete the email and attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. Email communications with the University of Nottingham may be monitored where permitted by law.