posted by organizer: jaklt || 632 views || tracked by 2 users: [display]

SmP 2023 : Structure Meets Power 2023


When Jun 25, 2023 - Jun 25, 2023
Where Boston and online
Submission Deadline May 14, 2023
Notification Due May 22, 2023
Categories    category theory   finite model theory   algorithms   semantics

Call For Papers



(LICS workshop)

Call for Contributions


Workshop dates: 25 June 2023 (Boston and online)


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

We believe that bringing these communities and research fields
together is an important objective in Computer Science, which may
hold the key to fundamental advances in the field. The aim of
this workshop is to attract investigators at the boundary of the
two strands, and those on either side of the divide interested in
establishing new connections.

Previous workshops on this theme were held as affiliated
workshops of LiCS 2021 and ICALP 2022.

This is a LiCS 2023 affiliated workshop. It will be a hybrid
event, however on-site participation is highly encouraged.

Important dates

Abstract submission: 14th May 2023
Author notification: 22nd May 2023
Registration: TBA

Invited speakers

* Alexandra Silva (Cornell University)
* Howard Straubing (Boston College)


Those wishing to give a talk at the workshop are invited to
submit an Extended Abstract of up to three pages (including
references) describing the key points of the presentation.

Submissions should only have a single author — the speaker. Any
co-authors should be clearly credited in the abstract and on the

For submissions please follow the instructions on the workshop

We encourage talks at all levels of progress, including novel
contributions, already published results, works in progress, as
well as survey-type contributions.

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


There will be two types of participation, online and in person.

Online participants are required to fill out the provided form on:

For in-person participation, you must register for the workshop
on the LICS website:

Organising and Programme Committee:

* Samson Abramsky
* Anuj Dawar
* Tomas Jakl
* Dan Marsden
* Yoàv Montacute
* Nihil Shah

Related Resources

IEEE Xplore-Ei/Scopus-CTISC 2024   2024 6th International Conference on Advances in Computer Technology, Information Science and Communications (CTISC 2024) -EI Compendex
IITUPC 2024   Immunotherapy and Information Technology: Unleashing the Power of Convergence
MLANN 2024   2024 2nd Asia Conference on Machine Learning, Algorithms and Neural Networks (MLANN 2024)
IITUPC 2024   Immunotherapy and Information Technology: Unleashing the Power of Convergence
CVIPPR 2024   2024 2nd Asia Conference on Computer Vision, Image Processing and Pattern Recognition
ICSCER 2024   2024 8th International Conference on Structure and Civil Engineering Research (ICSCER 2024)
ACM-Ei/Scopus-CMLDS 2024   2024 International Conference on Computing, Machine Learning and Data Science (CMLDS 2024)
OGC 2024   IEEE--2024 The 9th Optoelectronics Global Conference (OGC 2024)
EI-ACFPE 2024   2024 3rd Asian Confernce on Frontiers of Power and Energy (ACFPE 2024)
NCOM 2024   10th International Conference on Networks & Communications