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 ESMTP id 203D05D4 for ; Mon, 4 May 2020 17:35:40 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.73,352,1583190000"; d="scan'208";a="448145197" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 04 May 2020 19:35:38 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id F3CC37F492; Mon, 4 May 2020 19:35:38 +0200 (CEST) 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 5F00D7EC77; Mon, 4 May 2020 19:33:08 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=goubault@lsv.fr; spf=Pass smtp.mailfrom=goubault@lsv.fr; spf=None smtp.helo=postmaster@olive.lsv.ens-cachan.fr IronPort-PHdr: =?us-ascii?q?9a23=3Amkz3fxD1MrxHfH+BZQZeUyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSP7/rsuwAkXT6L1XgUPTWs2DsrQY0reQ7PyrADRdqb+681k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRo?= =?us-ascii?q?LerpBIHSk9631+ev8JHPfglEnjWwba5yIRmsrwjcucYajZZ+Jqsx1xDEvmZGd+?= =?us-ascii?q?NKyG1yOFmdhQz85sC+/J5i9yRfpfcs/NNeXKv5Yqo1U6VWACwpPG4p6sLrswLD?= =?us-ascii?q?TRaU6XsHTmoWiBtIDBPb4xz8Q5z8rzH1tut52CmdIM32UbU5Uims4qt3VBPljj?= =?us-ascii?q?oMOiUn+2/LlMN/kKNboAqgpxNhxY7UfJqVP+d6cq/EYN8WWXZNUsNXWidcAI2z?= =?us-ascii?q?cpEPAvIfM+hYsofzpFUAohWxCgawC+3i0SNIi3zs0KEmz+gsHwPL0Qo9FNwOqn?= =?us-ascii?q?TUq9D1Ob8WX++r1qbIyyjIYfJR2Tfg84fHaA0hofWQXb5pd8Te01MvFxnbgVqM?= =?us-ascii?q?sIzuIjSY1usKs2iG9OVvT/+vi2o7qwxqpjiv3dkshpPHhoIP013J8zhyz4kpK9?= =?us-ascii?q?OiUkF7fcKkH4VKtyGcL4Z7XswsTn1otis6yrMLuIC2cSwFxpk52RLTdv6KfpWI?= =?us-ascii?q?7x/+SOqdPTd2iXF5dL6ihBu+7Uatx/DhWsSp01tHrjdIn9/RvX4D0BzT79KISv?= =?us-ascii?q?p7/kq5xzmAzRzc6vpAIUwukqrbMZEhzqYtmZUJvkTDBTP2mFj2jK+SbEkr5/an?= =?us-ascii?q?5uL6abvlvp+RL5J4hw/9P6g0hMCyD/k0PhINUmSG4+iwyrLu8E7hTLhOkvE6iK?= =?us-ascii?q?vUvZTAKckaqaO1GQBY3pgl5h2iFTmpys4YkmMCLF9deBKIkYzpO1bWLfD/Cfe/?= =?us-ascii?q?gkqsnylxy/DCJb3hHI/BIWbFkLf6ZLpy91RTxxYzzd9F4ZJYEL8BIOjrVk/wst?= =?us-ascii?q?zXEAM5PhSpz+vpC9hxzJ0SVGySDqODM67erEWE6vwgLuSPfIMVvSzyK/kh5/7g?= =?us-ascii?q?l385nlodcLGm3ZsQdXC3Be5pI1idYXrwmdoBFXwKvhQkQOzkkl2OSSRTaGqqX6?= =?us-ascii?q?Ig+jE7D5qrApvZSYCohLyNxSO7HpxNZmBaEV2MCnfpd4CcW/gWci6SI8lhkiYF?= =?us-ascii?q?Vbe7UYMh2wuuvhfgy7V7NurU5jEYtZX72ddp4O3TjAg++iBwD8SAyG6AVHp0n2?= =?us-ascii?q?MNRz8uxq9zu019ylGZ0ah5mfNUD9JT5+kaGjs9YNTVwOBzI9TzQR7aONyJQVKj?= =?us-ascii?q?T8+9Ryo8BJplytACam55Gs6+lVbI3yOuBrIPjPqQCcpwuujV0HX3O91VwG2Aya?= =?us-ascii?q?wrhB8rTtYFfTmviaN56xP7DJWPjkCTnOCneblKmGaH/WGFyneIt0xwUQh+Vr/A?= =?us-ascii?q?VGwebVCToMnj4VvPCbi0Bv5vZgJHz8mfLKBHQtzvg1JcQf7/Od/FJm+sgWCoCF?= =?us-ascii?q?CP3LzaKMLDQEFViCzGDGAamhsI9GzAOAQjUGPp6WnXCTgrEVP0f2vt9/N/oTW1?= =?us-ascii?q?VAV8mwqDakkk07uu5jYUg+adQrUdxORA8G0qoil5E1Gn3t/NI9+crkxqde8UNd?= =?us-ascii?q?g0/FpI0njYuhdVO4Cpaatr0BpWOQ98tgbq/xF2EZlb19UhsDUjx0xgIOjQhFhK?= =?us-ascii?q?fnac9ZTxIaHMbHT54FamYOjE0weamP231+9b4v0irVzprUelUE8r6Wlm1fFZzm?= =?us-ascii?q?Gc75CMBQFUTJGnFg593B98rKzAeCQ77JKcgXZrN6KpqCXP3dk4LO8k0Qq7cs1B?= =?us-ascii?q?PbnCCBL/VcseUYLmfOctnVO0dAgJOutD3Ko1JN+9euGY1bTtIPtt2jSi2yAP64?= =?us-ascii?q?d73E+W+ix3R/WAi50Cxf+VxAaBXDrnpFymt9jqhY1eIzYIETz7gSPjHctaYrB4?= =?us-ascii?q?NdIADn7rKMmqzP1/gYTsUjhW7gjnT18Mx8izfRbaO1D3wgpK0Ug/qmfhhiqjxH?= =?us-ascii?q?p5nyx/6uKy9Rf1/6y2eRMcIXIOQWRnh1r2OqCwjssGRw6sYk4gn1245hC+j6Za?= =?us-ascii?q?oqVjIizWRktFe23qL2xlSLr44rSDZc9T5dYttilaVKGgYV2dUK/VpxoBzzilBX?= =?us-ascii?q?RCxHUyfjqqt5O/kxEszCqTKTN6qnzeZMd7yBLS4sDHDapf238PQi9/lD/cC12x?= =?us-ascii?q?OcWy1dGVjIvY9Oa3TGvnWZpNJ22jw4SEsCrzsWNtBRm+t/60ntnmVwk83yitk5?= =?us-ascii?q?FlXCDFt16obYDu2r+SNeN8YlIuHkDg649zE4p+n412iJxGnTA1nJyp53NPxWjp?= =?us-ascii?q?OMlB0Ir6bWERXngWxd+Q+AHp1VdpKWiPgY70ADHVw8VkfNi1KjcX1Ccm7s9iA7?= =?us-ascii?q?zS8LdI2yp49B7wqQzaer18mCsQ0/Y19DZOh+8Co08syDmQGL0JAWFUNjeqmhjO?= =?us-ascii?q?5tv4saYBIC6LUJOLnB56lMvkCLCJuSlYWW3lYdE+AGp64997MVSK3HClrsnged?= =?us-ascii?q?/dZMhb4hmVlRrJlcBeM9QqivMMiy19NSTwsWBzj6Y/jAdyxpuxt4nCLy05+KOi?= =?us-ascii?q?HgVSPTb0Isc74Tvmy6FEkYCcxdbrVpFmFTQAFM/sSv2pGxoXvOjncRuIEXg2rX?= =?us-ascii?q?GdX7bSS0vX7kp5tHbCD4ymLTnDInQG1tFvWAWQPmRWiRoVWj58mYQ2QETiwtP5?= =?us-ascii?q?bAJ44D4Wrgr+tQNQj+NuOR7XVmbEuBzuazA/DpWSel4e1gxe/UbzPNDWuvp+Az?= =?us-ascii?q?tZ+JC9hA2LJGuBYg1UDGJPR0qFQlDqO7Oz/9aG/+XOQqKmNfzBJLGHr+MWA+yD?= =?us-ascii?q?xNej04h7ui6WMcrKOnBkANU/21FfG3NkXcjazXFHczYQkCyFZMmevBOx6ixrv4?= =?us-ascii?q?jr6O7sXwyq7oyKE79fIdRz6jiziLuDceWZn2ByO2AcnqsWwnjG9LgS20QDw3VW?= =?us-ascii?q?bT6qH4gAuCnXXYr0m7RLFFgxYj9zcuJDqZ8fiE0FI8PEkNLp17h3y+Q4EkpITk?= =?us-ascii?q?CpztuketYLP2C7OxbdCV+WOa+aDTDN2ITzcKS6D7NK2qEcjDyfghG1LwrHdmCY?= =?us-ascii?q?ljbyUB6zdOVkhSqeegFfpYr7fxpwXyyrV9Xtaxu1N5cjljo9wLs6gVvBLigALC?= =?us-ascii?q?Q6fUIb6vWM7S5fmPh6XnRb6WRoN/LMzzqZ4u7CJ5NTqeFsHClujMpT4TI/yqcT?= =?us-ascii?q?4S1ZErg9hCvfqcR/6wW6kuSI0CtPWx4IoT9OwouA+1hhb+GR6plNXmzVuRYK4m?= =?us-ascii?q?SbQ0AWp9ZiEMyqv6dfy9Pnn7m1IzJftd/Y4J1YT9TUJcWdIXw9eU71GDPTFhoD?= =?us-ascii?q?URavNHrDnEFHjreU8XGcrd43poW6y7QUTboOdlE8ELs1DVlvFcEGPNJTVyk+nL?= =?us-ascii?q?WCxJoH4me0pQTVWO1epY6BWOjEUqanEyqQkbQRP0hA+rj/N4lGc9SjgxU+OGk/?= =?us-ascii?q?p5zDHg/rZf4IujdoPl0wu1sL/mIsFjRiiXKgURuk5TooLdDxmxc3jgVkZuF9pj?= =?us-ascii?q?P3/RE5PAiT/XZioAwKgdzgxAupXnvxIaO3B9wEDC71qUV3NojlBQtzdki5lEdk?= =?us-ascii?q?PTGCSagD17Y=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DsAQCQULBeffhR54pmDg8BAQEBCQESA?= =?us-ascii?q?QUFAYIHgXiBIFUgEiqEI4kBh2EIhBeXbAsBAwEkCwkBAgQBAYcWBwEENBMCEAE?= =?us-ascii?q?BBQEBAQIBAgMEARMBAQsUCIYGDII7KQGDFAEbBg8BMwJGAiYCAlwBAQwGAgEBg?= =?us-ascii?q?yIBgnwEC7MRgTKETUFChSwGgQ4qjF6CAIE4DIMbgQRQhgyCYASOPqQTgUmBCYg?= =?us-ascii?q?YhXuJfSOCW4Rqg3eEe4xpkBeJVJVZZYETTScRO4JpUBgNkFqEDYRhhQQFATo/M?= =?us-ascii?q?zkGAQhlAQEBkWsBAQ?= X-IPAS-Result: =?us-ascii?q?A0DsAQCQULBeffhR54pmDg8BAQEBCQESAQUFAYIHgXiBIFU?= =?us-ascii?q?gEiqEI4kBh2EIhBeXbAsBAwEkCwkBAgQBAYcWBwEENBMCEAEBBQEBAQIBAgMEA?= =?us-ascii?q?RMBAQsUCIYGDII7KQGDFAEbBg8BMwJGAiYCAlwBAQwGAgEBgyIBgnwEC7MRgTK?= =?us-ascii?q?ETUFChSwGgQ4qjF6CAIE4DIMbgQRQhgyCYASOPqQTgUmBCYgYhXuJfSOCW4Rqg?= =?us-ascii?q?3eEe4xpkBeJVJVZZYETTScRO4JpUBgNkFqEDYRhhQQFATo/MzkGAQhlAQEBkWs?= =?us-ascii?q?BAQ?= X-IronPort-AV: E=Sophos;i="5.73,352,1583190000"; d="scan'208";a="448144882" X-MGA-submission: =?us-ascii?q?MDHUNqW37KqO1onzKUNVOLHlaK6waXpYBUYV8y?= =?us-ascii?q?KM+9YPY9A6qx0cgRaTWrEIM+xRsRca6fB+KWg3A2z1Jkef7QNXhT3QOu?= =?us-ascii?q?/ekSNGui7vRYKdHICbGUkSNUvzVVw3jV4Jh61YH4/QpZFmOIPL2WYfRn?= =?us-ascii?q?Ah1gCwyzaSLQ9rfdvSy4FNNA=3D=3D?= Received: from olive.lsv.fr (HELO olive.lsv.ens-cachan.fr) ([138.231.81.248]) by mail2-smtp-roc.national.inria.fr with ESMTP; 04 May 2020 19:33:07 +0200 Received: from macbook-pro-de-jean.home (lfbn-idf1-1-1370-42.w90-79.abo.wanadoo.fr [90.79.64.42]) by olive.lsv.ens-cachan.fr (Postfix) with ESMTP id B352A4C0186; Mon, 4 May 2020 19:33:06 +0200 (CEST) To: "agda@lists.chalmers.se" , "agents@cs.umbc.edu" , "announce@informatics-europe.org" , ASL , "caml-list@inria.fr" , "categories@mta.ca" , "cca-l@lists.uct.ac.za" , CIE , "Concurrency " , conferences , coq-club , dbworld , EASST , finite-model-theory , fm-announcements , folli , games , GraTra , ifmsig , lfcs-interest , LICS , linear , listsbcci-l , logic , newsletter , nwpt-info , PetriNet , prog-lang , Proof complexity , ProofTheory , rewriting-request , SIGSOFT-L , socinfo , theorem-provers , theory , theory-logic , theorynt From: Jean Goubault-Larrecq Message-ID: <5cc430eb-726b-d5d3-4454-3ff6988e29c9@lsv.fr> Date: Mon, 4 May 2020 19:33:05 +0200 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:68.0) Gecko/20100101 Thunderbird/68.7.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Language: fr Content-Transfer-Encoding: 8bit X-Validation-by: goubault@lsv.fr Subject: [Caml-list] CSL 2021: 2nd CFP Reply-To: Jean Goubault-Larrecq X-Loop: caml-list@inria.fr X-Sequence: 18127 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: ===================================== Second call for papers (CSL'21) ===================================== Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL), see https://www.eacsl.org/. It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science. CSL'21 will be held on January 25-28, 2021, in Ljubljana, Slovenia, at least in principle; the current sanitary crisis will quite certainly have some impact in this respect. 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 in Leibniz International Proceedings in Informatics (LIPIcs), see https://submission.dagstuhl.de/documentation/authors. 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. At least one of the authors of each accepted paper is expected to register to the conference, and present their papers, whether physically or online, depending on the situation and the available means of organisation in January 2021. Important dates: ---------------- paper submission: July 1, 2020 (AoE) notification: September 25, 2020 conference: January 25-28, 2021 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 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: ------------------ * Andreas Abel, University of Gothenburg, Sweden * Zena M. Ariola, University of Oregon, USA * Jeremy Avigad, Carnegie Mellon University, USA * Christel Baier, Technische Universität Dresden, Germany (co-chair) * Jasmin Blanchette, Vrije Universiteit Amsterdam, the Netherlands * Jean Goubault-Larrecq, ENS Paris-Saclay, France (co-chair) * Masahito Hasegawa, Kyoto University, Japan * Jean-Baptiste Jeannin, University of Michigan, USA * Michael Kaminski, Technion Haifa, Israel * Delia Kesner, Université de Paris, France * Laura Kovács, Vienna University of Technology, Austria * Martin Lange, University of Kassel, Germany * Sławomir Lasota, Warsaw University, Poland * Florin Manea, Georg-August Universität Göttingen, Germany * Stefan Milius, Friedrich-Alexander Universität Erlangen-Nürnberg, Germany * Antoine Mottet, Charles University, Czech Republic * Andrzej Murawski, University of Oxford, UK * Elaine Pimentel, Universidade Federal do Rio Grande do Norte, Brasil * Sophie Pinchinat, IRISA Rennes, France * Simona Ronchi Della Rocca, Università di Torino, Italy * Krishna S, IIT Bombay, India * Peter Selinger, Dalhousie University, Canada * Sebastian Siebertz, Universität Bremen, Germany * Alex Simpson, University of Ljubljana, Slovenia (organizer) * Marie Van Den Bogaard, Université Libre de Bruxelles * Yde Venema, Universiteit van Amsterdam, the Netherlands Organization Committee: ----------------------- Alex Simpson (University of Ljubljana, chair) Andrej Bauer (University of Ljubljana) Daniel Ahman (University of Ljubljana) Contact: -------- Please send all questions about submissions to the PC co-chairs: csl2021@easychair.org