Structure meets Power workshop 2024

Structure meets Power workshop 2024

[Tomáš Jakl]

[-- Attachment #1: Type: text/plain, Size: 3288 bytes --]

****************************************

STRUCTURE MEETS POWER 2024

(LICS/ICALP/FSCD workshop)

Call for Contributions

****************************************

Workshop dates: 07 July 2024 (Tallinn and online)

https://www.cst.cam.ac.uk/conference/structure-meets-power-2024<https://url.au.m.mimecastprotect.com/s/bZKkC4QO8xSNNx4osxp5Vf?domain=cst.cam.ac.uk>

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://www.cst.cam.ac.uk/conference/structure-meets-power-2024<https://url.au.m.mimecastprotect.com/s/bZKkC4QO8xSNNx4osxp5Vf?domain=cst.cam.ac.uk>

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


You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.

View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Learn more about Microsoft 365 Groups<https://aka.ms/o365g>


[-- Attachment #2: Type: text/html, Size: 5452 bytes --]