From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10317 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Alex Simpson Newsgroups: gmane.science.mathematics.categories Subject: CSL 2021 - Call for Participation Date: Mon, 16 Nov 2020 22:45:36 +0100 Message-ID: Reply-To: Alex Simpson Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="30879"; mail-complaints-to="usenet@ciao.gmane.io" To: "categories@mta.ca" Original-X-From: majordomo@rr.mta.ca Tue Nov 17 05:16:01 2020 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.74]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1kesPQ-0007th-Nj for gsmc-categories@m.gmane-mx.org; Tue, 17 Nov 2020 05:16:00 +0100 Original-Received: from rr.mta.ca ([198.164.44.159]:42490) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1kesMW-0002Sb-AU; Tue, 17 Nov 2020 00:13:00 -0400 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1kesIn-0007Lf-Kl for categories-list@rr.mta.ca; Tue, 17 Nov 2020 00:09:09 -0400 Content-Language: en-US Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10317 Archived-At: Readers of the categories mailing list may be interested in the online CSL conference, which takes place from Jan 25-28 2021 --- The European Association for Computer Science Logic invites you to participate in the 2021 edition of CSL, which will be held online from Mon Jan 25 to Thu Jan 28, 2021, organised by the Faculty of Mathematics and Physics at the University of Ljubljana # The Conference Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). It is an interdisciplinary conference spanning both basic and application-oriented research in mathematical logic and computer science. CSL 2021 will be the 29th edition in the series. CSL moved away from its former August/September slot in 2020. CSL 2021 is the second conference in the series that takes place in January. ## Invited Speakers - Assia Mahboubi, INRIA, Rennes, France - Sophia Drossopoulou, Imperial College, London, UK - Linda Westrick, Penn State University, State College, PA, USA - Sylvain Schmitz, Universit?? de Paris, Paris, France - Bartek Klin, Uniwersytet Warszawski, Warsawa, Poland ## Programme Thirty-four contributed papers have been selected for presentation at CSL 2021; see the [list of accepted papers](https://csl2021.fmf.uni-lj.si/accepted-papers/) ## Registration To register, please follow the link and information provided on the [CSL website](https://csl2021.fmf.uni-lj.si) The registration deadlines are: - *14th December 2020*: deadline for speaker registration. At least one author of every contributed paper must register as a speaker. - *11th January 2021*: deadline for non-speaker registration. All participants must register. Note that student non-speaker registration is free of charge. If you have any questions, please contact the local organisers . [For admin and other information see: http://www.mta.ca/~cat-dist/ ]