From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10498 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: "Manea, Florin" Newsgroups: gmane.science.mathematics.categories Subject: CSL 2022 - call for papers Date: Wed, 2 Jun 2021 06:49:32 +0000 Message-ID: Reply-To: "Manea, Florin" Mime-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="33022"; mail-complaints-to="usenet@ciao.gmane.io" To: categories@mta.ca Original-X-From: majordomo@rr.mta.ca Thu Jun 03 20:32:22 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 1los8j-0008JK-4A for gsmc-categories@m.gmane-mx.org; Thu, 03 Jun 2021 20:32:21 +0200 Original-Received: from rr.mta.ca ([198.164.44.159]:60380) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1los7m-0007im-W3; Thu, 03 Jun 2021 15:31:23 -0300 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1los7C-0007iF-N6 for categories-list@rr.mta.ca; Thu, 03 Jun 2021 15:30:46 -0300 Accept-Language: en-US, de-DE Content-Language: en-US Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10498 Archived-At: =3D=3DApologies for cross-posting=3D=3D =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Second call for papers (CSL'22) =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D News:=20 Invited speakers announced, Helena-Rasiowa-Award, website open, submission = site open, colocated events =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D =20 Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL), see https://www.eacsl.org/.= =20 It is an interdisciplinary conference, spanning across both basic and appli= cation oriented research in mathematical logic and computer science. =20 CSL'22 will be held on February 14 - 19, 2022, in G=F6ttingen, Germany. Cur= rently, we expect that the conference will be organized in a hybrid way: bo= th with an in-presence component and an online component.=20 Website: http://csl2022.uni-goettingen.de/ Invited speakers: ----------------- Annabelle McIver Macquarie (University, Sydney, Australia) Udi Boker (IDC Herzliya, Israel) Martin Escardo (University of Birmingham, UK) Rosalie Iemhoff (Utrecht University, The Netherlands) Karen Lange (Wellesley College, USA) Submission guidelines: ---------------------- Submitted papers must be in English and must provide sufficient detail to a= llow the Programme Committee to assess the merits of the paper. Full proofs= may appear in a clearly marked technical appendix which will be read at th= e reviewers' discretion. Authors are strongly encouraged to include a well = written introduction which is directed at all members of the PC. The CSL 2022 conference proceedings will be published in Leibniz Internatio= nal Proceedings in Informatics (LIPIcs), see https://submission.dagstuhl.de= /documentation/authors.=20 Authors are invited to submit contributed papers of no more than 15 pages i= n LIPIcs style (not including references), presenting unpublished work fitt= ing the scope of the conference. Papers may not be submitted concurrently t= o another conference with refereed proceedings. The PC chairs should be inf= ormed of closely related work submitted to a conference or a journal. Papers authored or co-authored by members of the PC are not allowed. At least one of the authors of each accepted paper is expected to register = for the conference and attend it in person or online, in order to present t= heir papers. Submissions should be made via easychair: https://easychair.org/conferences= /?conf=3Dcsl2022 Helena-Rasiowa-Award: --------------------- The Helena Rasiowa Award is the best student paper award for the CSL confer= ence series, starting from CSL 2022. The award will be given to the best paper (as decid= ed by the PC) written solely by students or for which students were the mai= n contributors. A student in this context is any person who is currently st= udying for a degree or whose PhD award date is less than one year prior to = the first day of the conference. Important dates: ---------------- Abstract submission: July 5, 2021 (AoE), Paper submission: July 12, 2021 (AoE), Notification: September 30, 2021, Conference: February 14-19, 2022 List of topics: --------------- automated deduction and interactive theorem proving constructive mathematics and type theory equational logic and term rewriting automata and games, game semantics modal and temporal logic model checking decision procedures logical aspects of computational complexity finite model theory computability computational proof theory logic programming and constraints lambda calculus and combinatory logic domain theory categorical logic and topological semantics database theory specification, extraction and transformation of programs logical aspects of quantum computing logical foundations of programming paradigms verification and program analysis linear logic higher-order logic nonmonotonic reasoning Program Committee: ------------------ Thorsten Altenkirch (Nottingham, UK) Benedikt Bollig (Cachan, France) Agata Ciabattoni (Vienna, Austria)=20 Liron Cohen (Ben-Gurion University, Israel)=20 Anupam Das (Birmingham, UK) Claudia Faggian (Paris, France)=20 Francesco Gavazzo (Bologna, Italy) Stefan G=F6ller (Kassel, Germany) Willem Heijltjes (Bath, UK) Sandra Kiefer (Aachen, Germany)=20 Emanuel Kieronski (Wroclaw, Poland) Bartek Klin (Warsaw, Poland) Juha Kontinen (Helsinki, Finland) Anthony Lin (Kaiserslautern, Germany) Karoliina Lehtinen (Marseille, France)=20 Florin Manea (G=F6ttingen, Germany, co-chair) Fredrik Nordvall Forsberg (Strathclyde, UK) Liat Peterfreund (Paris, France and Edinburgh, UK)=20 Daniela Petrisan (Paris, France) Karin Quaas (Lepizig)=20 Alex Simpson (Ljubljana, Slovenia, co-chair) Pawel Sobocinski (Tallin, Estonia) Anna Sokolova (Salzburg, Austria)=20 Linda Brown Westrick (Connecticut, US) Organization Committee: ----------------------- Fundamentals of Computer Science Group - University of G=F6ttingen, Germa= ny.=20 Colocated events: ----------------- LCC 2022: Logic and Computational Complexity --------- Meetings of the workshop "Logic and Computational Complexity" are aimed at = the foundational interconnections between logic and computational complexit= y, as present, for example, in implicit computational complexity (descripti= ve and type-theoretic methods); deductive formalisms as they relate to comp= lexity (e.g. ramification, weak comprehension, bounded arithmetic, linear l= ogic and resource logics); complexity aspects of finite model theory and da= tabases; complexity-mindful program derivation and verification; computatio= nal complexity at higher type; and proof complexity. LCC 2022 will be the 23rd workshop in the series, see https://www.cs.swanse= a.ac.uk/lcc/. The program will consist of invited lectures as well as contr= ibuted papers selected by the Program Committee. LMW 2022: Logic Mentoring Workshop --------- LMW introduces young researchers to the technical and practical aspects of = a career in logic research. It is targeted at students, from senior undergr= aduates to graduates, and includes talks and panel sessions from leaders in= the subject. Contact: -------- Please send all questions about submissions to the PC co-chairs: csl2022@easychair.org [For admin and other information see: http://www.mta.ca/~cat-dist/ ]