![]() |
| |||||||||||||
SmP 2022 : Structure Meets Power 2022 | |||||||||||||
Link: https://www.cst.cam.ac.uk/conference/structure-meets-power-2022 | |||||||||||||
| |||||||||||||
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 |
|