posted by user: tj330 || 174 views || tracked by 1 users: [display]

SmP 2022 : Structure Meets Power 2022

FacebookTwitterLinkedInGoogle

Link: https://www.cst.cam.ac.uk/conference/structure-meets-power-2022
 
When Jul 4, 2022 - Jul 4, 2022
Where Paris
Submission Deadline May 20, 2022
Notification Due Jun 5, 2022
Categories    finite model theory   semantics   descriptive complexity   mathematical logic
 

Call For Papers

****************************************
STRUCTURE MEETS POWER 2022
(an ICALP workshop)

Call for Contributions
****************************************


Workshop dates: 4 July 2022 (Paris and online)

https://www.cst.cam.ac.uk/conference/structure-meets-power-2022


Scope
-----

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”). 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 this workshop is to attract investigators at the
boundary of the two strands, and those on either side of the
divide interested on establishing new connections.

This is an ICALP 2022 affiliated workshop.
This will be a hybrid event, however, on site
participation is highly recommended.


Important dates
---------------

Abstract submission: 27 May 2022 (extended)
Author notification: 5 June 2022
Registration: 20 June 2022


Invited speakers
----------------

* Libor Barto (Charles University)
* Sandra Kiefer (RWTH Aachen University)
* Bartek Klin (University of Oxford)


Submissions
-----------

Those wishing to speak at the workshop are invited to submit an
Extended Abstract of up to three pages (including references)
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.

For submissions please use the EasyChair conference system:

https://easychair.org/conferences/?conf=smp2022

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.

For online participation it is mandatory to fill in the following
form:

https://www.cst.cam.ac.uk/conference/structure-meets-power-2022/registration-online-participation

For on-site participation one must fill in the ICALP registration
form:

https://icalp2022.dakini-pco.com/


Note that online participation is free and on-site participation
costs 50 euros which includes 2 coffee breaks and lunch.


Organising and Programme Committee:
-----------------------------------

* Samson Abramsky
* Anuj Dawar
* Tomas Jakl
* Dan Marsden

Related Resources

MATE 2022   5th International Conference of Advances in Materials Science and Engineering
AI Meets Cybersecurity 2022   Call for Papers: AI Meets Cybersecurity from Journal of Intelligent Information Systems
RAMFP 2022   TAA (OA) - SI: Recent Advances on Metric Fixed Point Theory 2022
Scopus, JCI -- FIEE 2022   MDPI Education Sciences Journal - Special Issue on Digital Twins and Future Intelligent Educational Environments -- Scopus, JCI
Paneled Scaffolding 2023   Paneled Scaffolding: Reflecting on Building and Sustaining Comics Studies Programs, Library Collections, and Journals
EvoCompAISecurity&Privacy 2022   Evolutionary Computing for AI-Driven Security and Privacy: Advancing the state-of-the-art applications
SI PMABD 2023   Special Issue on Programming Models and Algorithms for Big Data
JMC 2022   JOURNAL OF MATHEMATICAL CRYPTOLOGY
Electronics SI 2022   Electronics: Special Issue on Cybersecurity and Privacy Issues in Cyber-Physical Systems and Industrial Control Systems
DCN_SI_ANIoT 2022   DCN Special Issue on intelligent anomaly/novelty detection to enhance IoT and AIoT