<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=Windows-1252">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">
<div> ****************************************</div>
<div> * STRUCTURE MEETS POWER 2022 *</div>
<div> * (an ICALP workshop) *</div>
<div> * *</div>
<div> * Call for Contributions *</div>
<div> ****************************************</div>
<div><br>
</div>
<div><br>
</div>
<div>Workshop dates: 4 July 2022 (Paris and online)</div>
<div><br>
</div>
<div>https://www.cst.cam.ac.uk/conference/structure-meets-power-2022</div>
<div><br>
</div>
<div><br>
</div>
<div>Scope</div>
<div>-----</div>
<div><br>
</div>
<div>There is a remarkable divide in the field of logic in Computer</div>
<div>Science, between two distinct strands: one focusing on semantics</div>
<div>and compositionality (“Structure”), the other on expressiveness</div>
<div>and complexity (“Power”). These two fundamental aspects of our</div>
<div>field are studied using almost disjoint technical languages and</div>
<div>methods, by almost disjoint research communities.</div>
<div><br>
</div>
<div>We believe that bridging this divide is a major issue in Computer</div>
<div>Science, and may hold the key to fundamental advances in the</div>
<div>field. The aim this workshop is to attract investigators at the</div>
<div>boundary of the two strands, and those on either side of the</div>
<div>divide interested on establishing new connections.</div>
<div><br>
</div>
<div>This is an ICALP 2022 affiliated workshop.</div>
<div><br>
</div>
<div>This will be a hybrid event, however, on site participation is</div>
<div>highly recommended.</div>
<div><br>
</div>
<div><br>
</div>
<div>Important dates</div>
<div>---------------</div>
<div><br>
</div>
<div>Abstract submission: 27 May 2022 (extended)</div>
<div>Author notification: 5 June 2022</div>
<div>Registration: 20 June 2022</div>
<div><br>
</div>
<div><br>
</div>
<div>Invited speakers</div>
<div>----------------</div>
<div><br>
</div>
<div>* Libor Barto (Charles University)</div>
<div>* Sandra Kiefer (RWTH Aachen University)</div>
<div>* Bartek Klin (University of Oxford)</div>
<div><br>
</div>
<div><br>
</div>
<div>Submissions</div>
<div>-----------</div>
<div><br>
</div>
<div>Those wishing to speak at the workshop are invited to submit an</div>
<div>Extended Abstract of up to three pages (including references)</div>
<div>describing the content of the contributed presentation.</div>
<div>Submissions should only have a single author -- the speaker. The</div>
<div>co-authors are required to be clearly indicated in the abstract</div>
<div>and later also in the slides.</div>
<div><br>
</div>
<div>For submissions please use the EasyChair conference system:</div>
<div><br>
</div>
<div>https://easychair.org/conferences/?conf=smp2022</div>
<div><br>
</div>
<div>We encourage talks of all levels of progress, including novel</div>
<div>contributions, already published results, work in progress, as</div>
<div>well as survey-type contributions. However, original</div>
<div>contributions might be considered for a subsequent special issue,</div>
<div>consisting of journal versions of selected extended abstracts.</div>
<div><br>
</div>
<div>Depending on the number of submissions, contributed talks will be</div>
<div>20-30 minutes long.</div>
<div><br>
</div>
<div><br>
</div>
<div>Registration</div>
<div>------------</div>
<div><br>
</div>
<div>There will be two types of participation, online and on-site</div>
<div>participation.</div>
<div><br>
</div>
<div>For online participation it is mandatory to fill in the following</div>
<div>form:</div>
<div><br>
</div>
<div> https://www.cst.cam.ac.uk/conference/structure-meets-power-2022/registration-online-participation</div>
<div><br>
</div>
<div>For on-site participation one must fill in the ICALP registration</div>
<div>form:</div>
<div><br>
</div>
<div> https://icalp2022.dakini-pco.com/</div>
<div><br>
</div>
<div><br>
</div>
<div>Note that online participation is free and on-site participation</div>
<div>costs 50 euros which includes 2 coffee breaks and lunch.</div>
<div><br>
</div>
<div><br>
</div>
<div>Organising and Programme Committee:</div>
<div>-----------------------------------</div>
<div><br>
</div>
<div>* Samson Abramsky</div>
<div>* Anuj Dawar</div>
<div>* Tomas Jakl</div>
<div>* Dan Marsden</div>
<div><br>
</div>
<div><br>
</div>
<br>
</div>
</body>
</html>