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 c5ff346549e7 (Postfix) with ESMTPS id 6EC685D5 for ; Mon, 3 Jun 2019 11:24:59 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.60,546,1549926000"; d="scan'208";a="385721783" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 03 Jun 2019 13:24:57 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id C6F37826E8; Mon, 3 Jun 2019 13:24:57 +0200 (CEST) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 101808247D; Mon, 3 Jun 2019 13:03:14 +0200 (CEST) Authentication-Results: mail3-smtp-sop.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 IronPort-PHdr: =?us-ascii?q?9a23=3AceZjOxe+fbmyI9sernExHARWlGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxcW8Yx7h7PlgxGXEQZ/co6odzbaP6ua5AjNLuszJmUtBWaQEbwUCh8?= =?us-ascii?q?QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYdFRrlKAV6?= =?us-ascii?q?OPn+FJLMgMSrzeCy/IDYbxlViDanbr5+MQi6oR/MusQYg4ZuJag8xgXUqXZUZu?= =?us-ascii?q?pawn9lK0iOlBjm/Mew+5Bj8yVUu/0/8sNLTLv3caclQ7FGFToqK2866tHluhnF?= =?us-ascii?q?VguP+2ATUn4KnRpSAgjK9w/1U5HsuSbnrOV92S2aPcrrTbAoXDmp8qlmRAP0hC?= =?us-ascii?q?oBKjU063/chNBug61HoRKhvx1/zJDSYIGJL/p1Y6fRccoHSWZdQspdUipMCZ6+?= =?us-ascii?q?YYQSFeoMJeZWoJXyqVQBoxWwGAqiCv3oxDJTmn/2xKg63/ghEQ3a3gEtGc8Fvn?= =?us-ascii?q?TOrNXyMacfSe+7wbXWwDveaf1dxDDz55LJchAluP2BQa5/ftbWyUkyEQPFkkib?= =?us-ascii?q?pIv7MDyPyusNqGyb4/BkVeK0lmIqsB1+oiO1yscwl4nFn58aylfe9SVlxYY1ON?= =?us-ascii?q?u4R1NhbdG5DpRdrieXPJZ4TMMlRmFnoic6yrsetJGlZicK05QmyALfa/OdcoiI?= =?us-ascii?q?+AjvVOGLITd3gn9uZbGxhw6q/ES91OHxUtO43EhXoidHiNXBuWoB2hPP5sSfV/?= =?us-ascii?q?dx4EOs1SyR2wzO6OxIO0A5mKvBJ5I8wLM8ipweulnZECDsgkX5lqqWe10k+ue2?= =?us-ascii?q?7+TnZa3rpoebN49vlgHxKKEumtClDeskKQgCRXWb+eK91LH64EL5R69KjuEzkq?= =?us-ascii?q?nEtpDVON4XqbOnDANN04Yj7QiwDyu+3dgFg3UKKEhJdAyag4XrIV3DL+r0APij?= =?us-ascii?q?j1i0lTdk3fHGPrnvApXXKXjDla/scqhn5EFA0wozycpT55ZPCr0cO//8RlTxuM?= =?us-ascii?q?bEDh8kKgC73uHnCM9h1oMbRGKPBLKWPLnPvlCW/u4vOfWDZJcJuDbhLPgo/+Lh?= =?us-ascii?q?jXggmVMEYaap2YYXZ2ujE/R9I0SZZGLsjc0bHWcLuAo+Vu3qh0eYXT5dfXa4R7?= =?us-ascii?q?g86S0jCIK6EYfDQZigj6Cb0ye+Gp1af2RGClGXEXf0bIiEQPcNaCeKIsB7iDAE?= =?us-ascii?q?VL6hS5Ug1R60rgP6xaBnfaLo/XgktZXm3cM93ObTihw06T1/DIzJz2GKSmhv2H?= =?us-ascii?q?gDRyA72rx+qk9V11uEl6V0nqoLO8ZU4qZkeywBEdb5xu1+Tvn5UQXceMvBHFuv?= =?us-ascii?q?Sc6iRzUqF/o62JkSfgNxHM++iw3F02ymDulGxPSwGJUo//eEjDDKLMFnxiODjf?= =?us-ascii?q?F51gV0co50LWSjw5VH2U3LHYeQwheSjOC2aOEQ2zTR8XqFwSyCsRMACV8iYeD+?= =?us-ascii?q?RXkaI3Dug5H870LGQaWpDO12YABaj9Kfb6dNcMHskFNKAvvuao2HPjCB3lyoDB?= =?us-ascii?q?PN/YuiKYrnf2JHjHfFD1MYmgUPu32dcxU4B2KtpHjCCSFoGRTjbhG0/A=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DfAQAV/vRcfSgE2YFmDoUEUjIohBSTB?= =?us-ascii?q?pxlCQEDAQoBAR8OAgEBh1EbBwEENBMBAwEBBAEBAgEBAwETAQELFAhMDII6KQG?= =?us-ascii?q?DCgZDAkYCJgJfE4MiAYIKmjqOe4ExhUeCbIFxBoEMKItaghaBEScfgh6BcIFEg?= =?us-ascii?q?VmDLTKCJgSBKwIBiXydTwYBAh+BE12GP40OgiKDdYZSLIlZhASPM1SMD4MEAgQ?= =?us-ascii?q?CBAUCFYFmgXlNJHkBc4FOPoFpiGyFBD09M4EIkE0BAQ?= X-IPAS-Result: =?us-ascii?q?A0DfAQAV/vRcfSgE2YFmDoUEUjIohBSTBpxlCQEDAQoBAR8?= =?us-ascii?q?OAgEBh1EbBwEENBMBAwEBBAEBAgEBAwETAQELFAhMDII6KQGDCgZDAkYCJgJfE?= =?us-ascii?q?4MiAYIKmjqOe4ExhUeCbIFxBoEMKItaghaBEScfgh6BcIFEgVmDLTKCJgSBKwI?= =?us-ascii?q?BiXydTwYBAh+BE12GP40OgiKDdYZSLIlZhASPM1SMD4MEAgQCBAUCFYFmgXlNJ?= =?us-ascii?q?HkBc4FOPoFpiGyFBD09M4EIkE0BAQ?= X-IronPort-AV: E=Sophos;i="5.60,546,1549926000"; d="scan'208";a="307956547" X-MGA-submission: =?us-ascii?q?MDErVuQYLPBvq25uqoGoSZGBugVwGDHphfkS2D?= =?us-ascii?q?gRdiTsjGVPjZr0ZObQ802gE/WdOSAXnB5j/HiCanMaYulep0zSi/613I?= =?us-ascii?q?7/y8zDf5IfynxexHHqJ+a8PABoIQJjQ9KN3/TkYK3jmhEzmR+Qtxaepd?= =?us-ascii?q?wwuNMP8gq66UfkkOGU0lOaRQ=3D=3D?= Received: from postamt.cs.uni-dortmund.de ([129.217.4.40]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 03 Jun 2019 13:02:44 +0200 Received: from olympia.cs.uni-dortmund.de (olympia [129.217.56.170]) (authenticated bits=0) by postamt.cs.uni-dortmund.de (8.12.6/8.12.6) with ESMTPSA id x53B061S008383 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT); Mon, 3 Jun 2019 13:00:06 +0200 (MEST) 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: Mon, 3 Jun 2019 13:00:06 +0200 Message-Id: To: Thomas Schwentick X-Mailer: Apple Mail (2.3445.101.1) X-Validation-by: thomas.schwentick@tu-dortmund.de Subject: [Caml-list] 2nd Call for Papers - Computer Science Logic (CSL 2020) Reply-To: EACSL Mail-Account X-Loop: caml-list@inria.fr X-Sequence: 17598 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: 2nd Call for Papers - Computer Science Logic (CSL 2020) 13-16 January 2020, Barcelona, Spain Paper Submission: 4 July 2019 https://easychair.org/cfp/CSL2020 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.=20 Submission Guidelines: Submitted papers must be in English and must provide sufficient detail = to allow 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 the reviewers' discretion. Authors are strongly encouraged to = include a well written introduction which is directed at all members of = the PC. The CSL 2020 conference proceedings will be published by LIPIcs. Authors = are invited to submit contributed papers of no more than 15 pages in = LIPIcs style (not including references), presenting unpublished work = fitting the scope of the conference. Papers may not be submitted = concurrently to another conference with refereed proceedings. The PC = chairs should be informed of closely related work submitted to a = conference or a journal. Papers authored or co-authored by members of = the PC are not allowed. Dates: paper submission: 4 July 2019 notifications: 30 September 2019 Invited Speakers Veronique Cortier, LORIA, France Anuj Dawar, University of Cambridge, UK Artur Jez, University of Wroclaw, Poland Delia Kesner, University Paris Diderot, France Iddo Tzameret, Royal Holloway, UK Program Committee Sandra Alves, University of Porto, Portugal Takahito Aoto, Niigata University, Japan Albert Atserias, Technical University of Catalonia, Spain Manuel Bodirsky, TU Dresden, Germany James Brotherston, University College London, UK Rohit Chadha, University of Missouri, USA Krishnendu Chatterjee, Institute of Science and Technology, Austria Adriana Compagnoni, Stevens Institute of Technology, USA Arnaud Durand, University Paris Diderot, France Maribel Fernandez, King's College London, UK (co-chair) Bernd Finkbeiner, Saarland University, Germany Masahito Hasegawa, Kyoto University, Japan Dietrich Kuske, TU Ilmenau, Germany Salvador Lucas, Technical University of Valencia, Spain Angelo Montanari, University of Udine, Italy Anca Muscholl, University of Bordeaux, France (co-chair) Prakash Panangaden, McGill University, Canada Elaine Pimentel, University of Rio Grande do Norte, Brazil Damien Pous, CNRS - ENS Lyon, France Femke van Raamsdonk, Vrije Universiteit Amsterdam, Netherlands Simona Ronchi Della Rocca, University of Torino, Italy Manfred Schmidt-Schauss, Goethe University, Germany Lutz Schr=C3=B6der, Friedrich-Alexander-Universit=C3=A4t = Erlangen-N=C3=BCrnberg, Germany Lidia Tendera, Opole University, Poland Szymon Torunczyk, University of Warsaw, Poland Glynn Winskel, University of Cambridge, UK Organizing committee Albert Atserias, Technical University of Catalonia (co-chair) Ilario Bonacina, Technical University of Catalonia Michal Garlik, Technical University of Catalonia=20 Tuomas Hakoniemi, Technical University of Catalonia=20 Juan Carlos Mart=C3=ADnez, University of Barcelona (co-chair) Moritz M=C3=BCller, Technical University of Catalonia=20 Venue The conference will be held in the University of Barcelona, Spain. Contact All questions about submissions should be emailed to the PC co-chairs: Maribel Fernandez: Maribel.Fernandez@kcl.ac.uk Anca Muscholl: anca@labri.fr