Aim
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”). It is remarkable because 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 of the Structure meets Power workshop is to cultivate interaction between researchers who are interested in combining ideas from these two strands.
This workshop is a part of LICS 2021 series of workshops. It will be held virtually through a videoconferencing software. The Call for Contributions can be found here.
Dates
| Workshop dates: | 27-28 June 2021 |
News
- Structure Meets Power 2022 announced!
- The list of registered participants and the group picture have been made public at Participants.
- Recordings of the talks have been made available. You can find them here.
- Most of the slides have been made available, you can find them on Abstracts and Slides.
- The book abstracts of contributed talks is also available.
Invited speakers
- Mikołaj Bojanczyk (University of Warsaw)
- Daniela Petrişan (University Paris Diderot and IRIF)
- Laura Mančinska (University of Copenhagen)
Submissions
Those wishing to speak at the workshop are invited to submit an Extended Abstract of up to three pages (including references) via the EasyChair conference system, 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.
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.
Registration
Registration is free of charge and is mandatory in order to access the workshop. Closer to the date you will receive a password and link to access the online meeting rooms.
Those who register early will receive notifications about upcoming deadlines.
To register please fill in the registration form.
Organising and Programme Committee
- Samson Abramsky
- Anuj Dawar
- Tomáš Jakl
- Dan Marsden
Contact information
For further information contact Tomáš Jakl <tj330@cam.ac.uk> or Dan Marsden <daniel.marsden@cs.ox.ac.uk>.
