Structure Meets Power 2022

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 one of the ICALP 2022 affiliated workshops.

Previous year's workshop website can be found here.

Dates

News

• 06 March 2023: The website of our upcoming Structure meets Power 2023 workshop has been created: Structure Meets Power 2023.
• 18 July 2022: All slides have now been uploaded. The links to slides can be found in the programme. You can also find the list of all participants at the bottom of this page.
• 20 June 2022: We have added the address of the venue. See below in Local information. (WARNING: This is a different place from the previously announced)
• 13 June 2022: The programme and the book of abstracts of contributed talks has been made available.
• 28 March 2022: The first call for contributions is now available on EasyChair (and also on the CfP wiki)
• 17 March 2022: Invited speakers announced.

Invited speakers

• Libor Barto (Charles University)
• Sandra Kiefer (Max Planck Institute for Software Systems)
• Bartek Klin (University of Oxford)

Submission

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

There will be two types of participation, online and on-site participation. On-site participation costs 50 euros and includes 2 coffee breaks and lunch. Online registration is free of charge.

Those who wish to attend in person need to register on ICALP registration page: On-site participation registration form (for more information about this and also e.g. the support scheme, go to ICALP website)

For online participation, please fill in Online participation registration form. Those who register will then receive a Zoom link closer to the date.

Programme and abstracts

See the page Programme.

Local information

The workshop will take place on the address 45 Rue des Saints-Pères in Paris: https://maps.app.goo.gl/9D7b5oiiJgzohc5F8 (WARNING: This is a different place from the previously announced)

It seems that the only wifi available at the place will be eduroam. If you wish to use this wifi during our workshop, please make sure your eduroam account is up to date.

For more local information, please go to the conference website. Also, please monitor this website for updates.

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>.

Registered participants (on-line and on-site)

• Samson Abramsky (University College London)
• Libor Barto (Charles University)
• Siddharth Bhaskar (James Madison University)
• Guy Blanc (Stanford University)
• Achim Blumensath (Masaryk University)
• Silvia Butti (Universitat Pompeu Fabra (Spain))
• Michaël Cadilhac (DePaul University)
• Bryce Clarke (Inria Saclay Centre)
• Adam Ó Conghaile (University of Cambridge)
• Anuj Dawar (University of Cambridge)
• Santiago Figueira (University of Buenos Aires)
• Arka Ghosh (Uniwersytet Warszawski)
• Gabriel Goren (Universidad de Buenos Aires & ICC, Argentina)
• Sam van Gool (IRIF)
• Alexandre Goy (ENS Lyon)
• Shibashis Guha (Tata Institute of Fundamental Research)
• Amar Hadzihasanovic (Tallinn University of Technology)
• Peter Hines (University of York)
• Gabriel Istrate (West University of Timisoara)
• Tomas Jakl (University of Cambridge)
• Piotr Kawałek (Jagiellonian University)
• Sandra Kiefer (Max Planck Institute for Software Systems)
• Bartek Klin (University of Oxford)
• Ryszard Kostecki (University of Gdańsk)
• Jacek Krzaczkowski (Maria Curie-Sklodowska University)
• Thomas Laure (Ecole Normale Supérieure (ENS) in Paris)
• Steven Lindell (Haverford College)
• Dan Marsden (University of Oxford)
• Corto Mascle (LaBRI)
• Jade Master (University of Strathclyde)
• Damiano Mazza (French National Centre for Scientific Research)
• Paul-André Melliès (CNRS, Université Paris Cité)
• Yoàv Montacute (University of Cambridge)
• Vincent Moreau (Université Paris Cité)
• Tamio-Vesa Nakajima (University of Oxford)
• Lê Thành Dũng (Tito) Nguyễn (École Polytechnique)
• Jakub Oprsal (Institute of Science and Technology Austria)
• Thejaswini Raghavan (University of Warwick)
• Luca Reggio (University College London)
• Colin Riba (LIP -- ENS de Lyon)
• Rik Sengupta (University of Massachusetts Amherst)
• Tim Seppelt (RWTH Aachen University)
• Nihil Shah (University of Oxford)
• Pawel Sobocinski (Tallinn University of Technology)
• Fernando J. O. Souza (Federal University of Pernambuco (UFPE), Brazil)
• Rafal Stefanski (University College London)
• Jakub Tetek (University of Copenhagen)
• Victor Vianu (UC San Diego)
• Scott Weinstein (University of Pennsylvania)
• Wei-Lin Wu (University of California, Santa Cruz)
• Weiqiang Yuan (EPFL)
• Noam Zeilberger (Ecole Polytechnique)

Note that this list is not complete. Some people might have only registered but did not turn up for the workshop at the end. Furthermore, some people did not give permission to be listed and some people might have attended our workshop without being registered.