skip to content

Department of Computer Science and Technology

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.

Dates

Workshop dates: 4 July 2022
Abstract submission deadline: TBA
Author notification: TBA
Registration deadline: TBA

News

  • Website created.