You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Dan Marsden (Mar 28 2022 at 11:20):The 2022 Structure meets Power workshop will take place on July 4th this year, co-located with ICALP in Paris.
The aim of the workshop is to bridge a 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 logic 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.
From the perspective of the this community, category theory is a fundamental component of the "Structure" component of the workshop. Typically the "Power" component might be represented by (finite) model theory, combinatorics, complexity theory and the study of algorithms.
The deadline for submissions is 20th May 2022. Details can be found in the call for papers:
https://easychair.org/cfp/smp-2022
The workshop will be run as a hybrid event, although on site participation is highly recommended.
Dan Marsden (May 13 2022 at 15:06):The Structure meets Power 2022 submission deadline has been extended by one week, to Friday 27th May. We would gladly welcome contributions from this community. Please consider making a submission.
Tomáš Jakl (Apr 14 2023 at 12:20):Dear All,
It is my pleasure to announce the third iteration of the Structure Meets Power workshop. It is taking place on the 25th of June, as one of the LiCS 2023 affiliated workshops.
Simply put, the aim of the workshop is to foster interactions between the semantics-focused and algorithmic areas of theoretical computer science. From the perspective of the this community, category theory, topology and algebra are fundamental components of the semantics-focused side of the workshop. On the other hand, the algorithmic areas are represented by (finite) model theory, combinatorics, complexity theory and the study of algorithms.
For details see the workshop website: https://www.cst.cam.ac.uk/conference/structure-meets-power-2023
Invited speakers
Important dates