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 51F0D5D5 for ; Wed, 9 Jan 2019 09:59:07 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.56,457,1539640800"; d="scan'208";a="363234407" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 09 Jan 2019 10:59:06 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 22634824E4; Wed, 9 Jan 2019 10:59:06 +0100 (CET) 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 644B47F61F; Wed, 9 Jan 2019 10:55:59 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=eacsl.ls1@cs.tu-dortmund.de; spf=None smtp.mailfrom=eacsl.ls1@cs.tu-dortmund.de; spf=None smtp.helo=postmaster@postamt.cs.uni-dortmund.de IronPort-PHdr: =?us-ascii?q?9a23=3AAkQ7cRRg07c+Hl/nlxG5Op/A9Npsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa6zYhaN2/xhgRfzUJnB7Loc0qyK6/CmATRIyK3CmUhKSIZLWR4BhJ?= =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+?= =?us-ascii?q?KPjrFY7OlcS30P2594HObwlSizexfbB/IA+qoQnNq8IbnZZsJqEtxxXTv3BGYf?= =?us-ascii?q?5WxWRmJVKSmxbz+MK994N9/ipTpvws6ddOXb31cKokQ7NYCi8mM30u683wqRbD?= =?us-ascii?q?VwqP6WACXWgQjxFFHhLK7BD+Xpf2ryv6qu9w0zSUMMHqUbw5Xymp4rx1QxH0li?= =?us-ascii?q?gIKz858HnWisNuiqJbvAmhrAF7z4LNfY2ZKOZycqbbcNgHR2ROQ9xRWjRBDIyg?= =?us-ascii?q?YIUAAOQPM/tboYfjoFUDtge+BRCpBO/zyj9Emn370Ksn2OohCwHG2wkgEsoBvn?= =?us-ascii?q?nIstj7KaEcWv2ywqbSzDXDa+pa1Cvh54fUdRAhvPeMXa5tesfW10YgDR/Kjk6U?= =?us-ascii?q?qYD/OzOVzfkBvnOH4Op7T+6vl3MnpxhsrTio3McslozJhp8Tyl/Z7yl23Zg6KM?= =?us-ascii?q?S+RUVmb9CkF55QuDubN4twWs4tXXtnuD06y7IauZ60ZikKyI49yx7YcfyHfI6F?= =?us-ascii?q?6Q/gWuaJOTp0mWxpdbalixqs7EStyPfwW8au3FtFsiZJisTAum4J2hDJ9MSLV/?= =?us-ascii?q?lw8l2h1DuOzQzf9+NJLVwymKHGMZAu2KQwmYAWsUnbHi/5hkH2jKiOe0U8/eio?= =?us-ascii?q?8Pjnba/jpp+ALYN7lhr+Pr4zmsy5AOQ0KxUBX2+B+eSg0b3j4Ev5T6hQgvIrjK?= =?us-ascii?q?bVqJHaJcIFqa6lGwJZz5gv5hKlAzu4zdgVn2MLIV1fdB+Ik4TlI1TOL+r5Dfe7?= =?us-ascii?q?jVSsijBrx/XeM7L/GJrCMmPDkLP7cbZ58E5Q1RE+wsxE555OFrEBPev/VVL2tN?= =?us-ascii?q?zCEh85NhG0w+D6B9lny4wRR3qDArWFP6PKrV+I+uUvLvGQa48SoTbxMuQq5/rz?= =?us-ascii?q?jXAiglIdZqmo3Z4PaH+iBPhmIkOZYWDtgtgbC2sKsBA+RvTwiFKeST5Te2qyX6?= =?us-ascii?q?Uk6z4nEo2mCIPDSpmpgLyAxye7AoZbZntGC1CJCXfnbZ+IW/YKaCKII89uiCYI?= =?us-ascii?q?Vba7S9xp6Rb7iA/9zrN8ZtHf+jIVs47i39s9s/HTkhQ77npvBMSC3meRTmp3tn?= =?us-ascii?q?8VAjMxxrx6vEpxjFuOh/tWmftdQPF6zMhtGiIzNJqZ5udxDM30RkqVc96CU1Lg?= =?us-ascii?q?Rs7/KToqCM4shtMJeVp4BtOuyBzOiXn5S4QJnqCGUcRnupnX2GL8coMkky6fhf?= =?us-ascii?q?sRymI+S84KDlWIw6t29gzdHYnMyhTLnL3sablZ0CnX6GKey2bIsEwKCFcsA5WA?= =?us-ascii?q?ZmgWYw7tlfq8/lnLFu78Aq9hLhYExcmYNq5XbNGvgVgUHK6+auSbWHq4niKLPT?= =?us-ascii?q?jNxr6Ia9C6KX0axznUDVRCmBtV4HCHcAQ5HDukvmTSSjBjRwri?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CMAQCzxDVcfSgE2YFjgheCaoECJ4QAl?= =?us-ascii?q?ASZf4F7CwEBHw2GXRoGBjIHDQEDAQECAQEBAQETAQELFAhMDII6KQGDCgZDAkY?= =?us-ascii?q?CJgIhPhODIgGCAZtGjnWBL4VBgwOBbAWBC4s0ghaBEScfgh6Bb4FEgVmDLDGCJ?= =?us-ascii?q?gKBKAIBiAaYOQYBAhx7VoUsinyBZIMNhSArhzuDEYszMYhVgmECBAIEBQIUgUw?= =?us-ascii?q?BggdNJHkBc4FOPoF1iGqFQD4zgQeKLgEB?= X-IPAS-Result: =?us-ascii?q?A0CMAQCzxDVcfSgE2YFjgheCaoECJ4QAlASZf4F7CwEBHw2?= =?us-ascii?q?GXRoGBjIHDQEDAQECAQEBAQETAQELFAhMDII6KQGDCgZDAkYCJgIhPhODIgGCA?= =?us-ascii?q?ZtGjnWBL4VBgwOBbAWBC4s0ghaBEScfgh6Bb4FEgVmDLDGCJgKBKAIBiAaYOQY?= =?us-ascii?q?BAhx7VoUsinyBZIMNhSArhzuDEYszMYhVgmECBAIEBQIUgUwBggdNJHkBc4FOP?= =?us-ascii?q?oF1iGqFQD4zgQeKLgEB?= X-IronPort-AV: E=Sophos;i="5.56,457,1539640800"; d="scan'208";a="291285343" 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; 09 Jan 2019 10:55:42 +0100 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 x099rI1w004686 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT); Wed, 9 Jan 2019 10:53:18 +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, 9 Jan 2019 10:53:17 +0100 Message-Id: <18821D73-4DDA-4CF1-AE0E-648C8EE4F7A7@cs.tu-dortmund.de> To: Thomas Schwentick X-Mailer: Apple Mail (2.3445.101.1) X-Validation-by: thomas.schwentick@tu-dortmund.de Subject: [Caml-list] Call for Papers - Computer Science Logic (CSL 2020) Reply-To: EACSL Mail-Account X-Loop: caml-list@inria.fr X-Sequence: 17280 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: 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 Assoc= iation for Computer Science Logic (EACSL). It is an interdisciplinary confe= rence, spanning across both basic and application oriented research in math= ematical logic and computer science.=20 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 2020 conference proceedings will be published by LIPIcs. Authors ar= e invited to submit contributed papers of no more than 15 pages in LIPIcs s= tyle (not including references), presenting unpublished work fitting the sc= ope of the conference. Papers may not be submitted concurrently to another = conference with refereed proceedings. The PC chairs should be informed of c= losely 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: 14 October 2019 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 Kamal Lodaya, IMSc Chennai, India 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=BCrn= berg, 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, Spain Juan Carlos Mart=C3=ADnez, University of Barcelona, Spain 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 --=20 Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list https://inbox.ocaml.org/caml-list Forum: https://discuss.ocaml.org/ Bug reports: http://caml.inria.fr/bin/caml-bugs=