From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10459 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Daniel Marsden Newsgroups: gmane.science.mathematics.categories Subject: Call for Contributions: Structure meets Power Workshop 2021 Date: Tue, 20 Apr 2021 12:46:26 +0000 Message-ID: Reply-To: Daniel Marsden Content-Type: text/plain; charset="Windows-1252" Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="33056"; mail-complaints-to="usenet@ciao.gmane.io" To: "categories@mta.ca" Original-X-From: majordomo@rr.mta.ca Wed Apr 21 18:13:26 2021 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.75]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1lZFTi-0008XN-Ea for gsmc-categories@m.gmane-mx.org; Wed, 21 Apr 2021 18:13:26 +0200 Original-Received: from rr.mta.ca ([198.164.44.159]:53948) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1lZFSc-0007Y6-Om; Wed, 21 Apr 2021 13:12:18 -0300 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1lZFMz-0008K8-BT for categories-list@rr.mta.ca; Wed, 21 Apr 2021 13:06:29 -0300 Accept-Language: en-GB, en-US Content-Language: en-GB Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10459 Archived-At: **************************************** * STRUCTURE MEETS POWER * * (a LICS workshop) * * * * Call for Contributions * **************************************** Workshop dates: 27-28 June 2021 (online) https://www.cst.cam.ac.uk/conference/structure-meets-power-2021 Scope ----- There is a remarkable divide in the field of logic in Computer Science, between two distinct strands: one focusing on semantics and compositionality (=93Structure=94), the other on expressiveness and complexity (=93Power=94). 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 workshop is a part of LICS 2021 workshops series. The even will be held entirely online. Important dates --------------- Abstract submission: 20 May 2021 Author notification: 5 June 2021 Registration: 20 June 2021 Invited speakers ---------------- * Mikolaj Bojanczyk (University of Warsaw) * Laura Mancinska (University of Copenhagen) * Daniela Petrisan (Universite Paris Diderot) 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=3Dsmp2021 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 ------------ Registration is free of charge and is mandatory in order to access the workshop. Closer to the date you will receive a password and link to access the online meeting rooms. Those who register early will receive notifications about upcoming deadlines. The registration form can be found here: https://www.cst.cam.ac.uk/conference/structure-meets-power-2021/registratio= n Organising and Programme Committee: ----------------------------------- * Samson Abramsky * Anuj Dawar * Tomas Jakl * Dan Marsden [For admin and other information see: http://www.mta.ca/~cat-dist/ ]