categories - Category Theory list
 help / color / mirror / Atom feed
* Structure meets Power workshop 2024
@ 2024-04-03 15:07 Tomáš Jakl
  0 siblings, 0 replies; only message in thread
From: Tomáš Jakl @ 2024-04-03 15:07 UTC (permalink / raw)
  To: categories

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



(LICS/ICALP/FSCD workshop)

Call for Contributions


Workshop dates: 07 July 2024 (Tallinn and online)<>


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)


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

For submissions please follow the instructions on the workshop

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.



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<>   |   Leave group<>   |   Learn more about Microsoft 365 Groups<>

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

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2024-04-03 20:53 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2024-04-03 15:07 Structure meets Power workshop 2024 Tomáš Jakl

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).