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

           *      STRUCTURE MEETS POWER 2022      *
           *         (an ICALP workshop)          *
           *                                      *
           *        Call for Contributions        *

Workshop dates: 4 July 2022 (Paris and online)


There is a remarkable divide in the field of logic in Computer
Science, between two distinct strands: one focusing on semantics
and compositionality (???Structure???), the other on expressiveness
and complexity (???Power???). These two fundamental aspects of our
field are studied using almost disjoint technical languages and
methods, by almost disjoint research communities.

We believe that bridging this divide is a major issue in Computer
Science, and may hold the key to fundamental advances in the
field. The aim this workshop is to attract investigators at the
boundary of the two strands, and those on either side of the
divide interested on establishing new connections.

This is an ICALP 2022 affiliated workshop.
This will be a hybrid event, however, on site
participation is highly recommended.

Important dates

Abstract submission:       20 May 2022
Author notification:       5 June 2022
Registration:             20 June 2022

Invited speakers

* Libor Barto    (Charles University)
* Sandra Kiefer  (RWTH Aachen University)
* Bartek Klin    (University of Oxford)


Those wishing to speak at the workshop are invited to submit an
Extended Abstract of up to three pages (including references)
describing the content of the contributed presentation.
Submissions should only have a single author -- the speaker. The
co-authors are required to be clearly indicated in the abstract
and later also in the slides.

For submissions please use the EasyChair conference system:

We encourage talks of all levels of progress, including novel
contributions, already published results, work in progress, as
well as survey-type contributions. However, original
contributions might be considered for a subsequent special issue,
consisting of journal versions of selected extended abstracts.

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

TBA later

Organising and Programme Committee:

* Samson Abramsky
* Anuj Dawar
* Tomas Jakl
* Dan Marsden

[For admin and other information see: ]

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

only message in thread, other threads:[~2022-03-30 14:58 UTC | newest]

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

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox