From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 26A487F332; Wed, 4 Dec 2019 07:40:11 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=eacsl.ls1@cs.tu-dortmund.de; spf=Pass smtp.mailfrom=eacsl.ls1@cs.tu-dortmund.de; spf=None smtp.helo=postmaster@postamt.cs.uni-dortmund.de Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of eacsl.ls1@cs.tu-dortmund.de) identity=pra; client-ip=129.217.4.40; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="eacsl.ls1@cs.tu-dortmund.de"; x-sender="eacsl.ls1@cs.tu-dortmund.de"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of eacsl.ls1@cs.tu-dortmund.de designates 129.217.4.40 as permitted sender) identity=mailfrom; client-ip=129.217.4.40; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="eacsl.ls1@cs.tu-dortmund.de"; x-sender="eacsl.ls1@cs.tu-dortmund.de"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@postamt.cs.uni-dortmund.de) identity=helo; client-ip=129.217.4.40; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="eacsl.ls1@cs.tu-dortmund.de"; x-sender="postmaster@postamt.cs.uni-dortmund.de"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3ApGUk0RCNBeE4WEmnrvIBUyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSPX9psbcNUDSrc9gkEXOFd2Cra4d0KyP7PCrCDxIyK3CmUhKSIZLWR4BhJ?= =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+?= =?us-ascii?q?KPjrFY7OlcS30P2594HObwlSizexfL1/IA+roQjTtcQajo9vJ6UswRbVv3VEfP?= =?us-ascii?q?hby3l1LlyJhRb84cmw/J9n8ytOvv8q6tBNX6bncakmVLJUFDspPXw7683trhnD?= =?us-ascii?q?UBCA5mAAXWUMkxpHGBbK4RfnVZrsqCT6t+592C6HPc3qSL0/RDqv47t3RBLulS?= =?us-ascii?q?wKLCAy/n3JhcNsjaJbuBOhqAJ5w47Ie4GeKf5ycrrAcd8GWWZNW8BcXDFDDIyh?= =?us-ascii?q?dYsCF+oPMvpXoYbyqVUAsBiwCxerCu701j9In3r20bE60+g9EwzL2hErEdIUsH?= =?us-ascii?q?TTqdX4LKgcXPyrwafVyzvIcvRY1i386IjMaxwsve2DUq53ccrMz0kvCx7Og1KO?= =?us-ascii?q?poP/IzyVzeANv3Kf7+p7SO6ikHIoqxprrjiz28cgk5TGhoUPylDY8CV53YA1Ks?= =?us-ascii?q?CiREFmf9GpCZ1dvDyUOYtxR8MtWWBouCAix70boZ60YDIGx4o6yB7CbfGMbouG?= =?us-ascii?q?4gr7WeqMPzt1gGhpdKyiixuw60StxffwW8ao3FpSrSdIlsPAum4C2hHT8MSLVP?= =?us-ascii?q?lw8l2j1DqT0Q3Y9/tKLloulaXBLp4s2r4wmYQXsUTEBiL2gEL2jLSKdko+/+io?= =?us-ascii?q?9/7rban9ppOGKo90jAD+Pr0zlcy4G+Q4Lg0OX3Wd+euhzrHs4FP2TK1Ljv0wjK?= =?us-ascii?q?bZrIjXKdkFqqO9GQNZzJsv5hSlAzqpytgVkmULIEpAeB2djojpP1/OIOr/Dfe6?= =?us-ascii?q?m1mjji1kyOzdPr3lGJnNKmPDnKr6cLlh8E5Q0hYzzc1G651JDbEBOu7zWkrstN?= =?us-ascii?q?zeExA1KRG7zPj/BNVnyoweQX6PArOeMK7KrVCI4fsvL/CQa48RpTbyMOMo5+Xu?= =?us-ascii?q?jH88gV8SZ7Ol3ZoRaHCiH/RpOV+VYXT2gt0ZC2cFohI+TPD2iF2FSTNce2y9X6?= =?us-ascii?q?c45j0iDIKmDJzDRpy2jbya3Ca7G4VWaXpcBlCNF3fobYSEVO0WZCKcOM8y2gAD?= =?us-ascii?q?AIShTIoozlmVvw/lxrx7L+HXsnkEtZXm3cMz/ObTihw06T1/DOyWyCeRUiR4mX?= =?us-ascii?q?kUQiIw0OZzrBou5E2E1P1VqtdjMZR27vJNFy4xPpnByfAyX937URnFONOSEX6t?= =?us-ascii?q?WZO6HHQ9ScgtxsIIbwBxFoPx3Vj4wyO2DupNxPSwD5su//eZhiCpfpsv+zP9zK?= =?us-ascii?q?AkymIebI5POGmh3P4t7w/IG4fMjwOSjOC3c6VZ0CnX6GKey2bIsEwKCFchA5WA?= =?us-ascii?q?ZmgWYw7tlfq840rDS7G0DrF+Y1lK0oieN+5Gbcf1iEhASLHvNYaHOj7jqyKLHR?= =?us-ascii?q?+Ng4i0Qs/yYWxEjXfWEw4YjkUf+myaMBU4CmGtrjCGAQ=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DYBQBbVOddfSgE2YFmhDOBEgtVMhYUh?= =?us-ascii?q?CuJA4YMgWwTmz8JAQMBCgEBIwoCAQGGTxwHAQQ0EwIQAQEEAQEBAgECAwQBEwE?= =?us-ascii?q?BCxQIhWcMgjspAYMRBkVGAhgOAl+DNQGCdwQLoVuPAYEyhU+Cd4F/gQ4ojBaCG?= =?us-ascii?q?oE4DAMQAYIegXCBVQsBAoRyMoIsBIE6AgGLd6EPBgEhgSNtlXSCQYQwgz6EE4t?= =?us-ascii?q?ihD+XWIkxgx8CBAIEBQIVgWmBek0kTyoBc4FOCTUSERRXjCeERYlqQDMBAXkMk?= =?us-ascii?q?F4BAQ?= X-IPAS-Result: =?us-ascii?q?A0DYBQBbVOddfSgE2YFmhDOBEgtVMhYUhCuJA4YMgWwTmz8?= =?us-ascii?q?JAQMBCgEBIwoCAQGGTxwHAQQ0EwIQAQEEAQEBAgECAwQBEwEBCxQIhWcMgjspA?= =?us-ascii?q?YMRBkVGAhgOAl+DNQGCdwQLoVuPAYEyhU+Cd4F/gQ4ojBaCGoE4DAMQAYIegXC?= =?us-ascii?q?BVQsBAoRyMoIsBIE6AgGLd6EPBgEhgSNtlXSCQYQwgz6EE4tihD+XWIkxgx8CB?= =?us-ascii?q?AIEBQIVgWmBek0kTyoBc4FOCTUSERRXjCeERYlqQDMBAXkMkF4BAQ?= X-IronPort-AV: E=Sophos;i="5.69,276,1571695200"; d="scan'208";a="417585411" X-MGA-submission: =?us-ascii?q?MDFYHlZIXkPgTQMKpjS/+7EkgzEoHj6Kah4riN?= =?us-ascii?q?t0cm37lokZbgB+jbhq9IIVrqZrLwxUOY6jToyBHzxmGyJwy6ZcGOCTJ4?= =?us-ascii?q?vlN5fsPgu2ltVzHRQFiF5t9IEv3WHyIsSN7yr5GwpYQg2gdeN4qBUKT9?= =?us-ascii?q?CaQDfUphpQ7wM9yvbQh8eYWg=3D=3D?= Received: from postamt.cs.uni-dortmund.de ([129.217.4.40]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 04 Dec 2019 07:40:10 +0100 Received: from olympia.fritz.box (i59F51B46.versanet.de [89.245.27.70]) (authenticated bits=0) by postamt.cs.uni-dortmund.de (8.12.6/8.12.6) with ESMTPSA id xB46bnT4006192 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT); Wed, 4 Dec 2019 07:37:51 +0100 (MET) From: EACSL Mail-Account Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (Mac OS X Mail 12.1 \(3445.101.1\)) Date: Wed, 4 Dec 2019 07:37:51 +0100 Message-Id: To: Thomas Schwentick X-Mailer: Apple Mail (2.3445.101.1) X-Validation-by: eacsl.ls1@cs.tu-dortmund.de Subject: [Caml-list] CSL 2020 - Call for participation - tomorrow is the early registration deadline =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=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Call for Participation =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=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Computer Science Logic 2020 Barcelona, Catalonia, Spain January 13 - 16, 2020 http://www.cs.upc.edu/csl2020 =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=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D The European Association for Computer Science Logic, the department of Computer Science of the Universitat Polit=C3=A8cnica de Catalunya, and the Institut de Matem=C3=A0tiques de la Universitat de Barcelona kindly invite you to participate in the 2020 edition of CSL that will be held in Barcelona from Mon Jan 13 to Thu Jan 16, 2020. # The Conference=20 Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). It is an interdisciplinary conference spanning across both basic and application oriented research in mathematical logic and computer science. CSL 2020 will be the 28th edition in the series. Please note that CSL has moved from its former August/September slot and that CSL 2020 is the first conference in the series that takes place in January. ## Invited Speakers V=C3=A9ronique Cortier, LORIA, France Anuj Dawar, University of Cambridge, UK Artur Je=C5=BC, University of Wroclaw, Poland Delia Kesner, University Paris Diderot, France Iddo Tzameret, Royal Holloway, UK ## Programme Thirty-two contributions were selected for presentation at CSL 2020. A full list is available at http://www.cs.upc.edu/csl2020/program.html . ## Registration To register, please follow the link and information provided on the CSL website http://www.cs.upc.edu/csl2020/registration.html . Note the early registration deadline: THURSDAY, DECEMBER 5, 2019. For any questions please contact Albert Atserias (atserias at-sign cs.upc.edu) or Juan Carlos Mart=C3=ADnez (jcmartinez at-sign ub.edu). =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=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D