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 C3A6C1E6 for ; Thu, 29 Mar 2018 10:30:54 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.48,376,1517871600"; d="scan'208";a="320533532" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 29 Mar 2018 12:30:53 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 608DB82435; Thu, 29 Mar 2018 12:30:53 +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 1B4D28239C for ; Thu, 29 Mar 2018 12:29:38 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=eacsl@kahle.ch; spf=Pass smtp.mailfrom=eacsl@kahle.ch; spf=None smtp.helo=postmaster@gecko.birch.relay.mailchannels.net IronPort-PHdr: =?us-ascii?q?9a23=3AkhwVdBCYzi8hLTwMuI1fUyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSPv9oMbcNUDSrc9gkEXOFd2Cra4c0KyO6+jJYi8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6?= =?us-ascii?q?JvjvGo7Vks+7y/2+94fcbglUijexe69+IAmrpgjNq8cahpdvJLwswRXTuHtIfO?= =?us-ascii?q?pWxWJsJV2Nmhv3+9m98p1+/SlOovwt78FPX7n0cKQ+VrxYES8pM3sp683xtBnM?= =?us-ascii?q?VhWA630BWWgLiBVIAgzF7BbnXpfttybxq+Rw1DWGMcDwULs5Xymp4aV2Rx/ykC?= =?us-ascii?q?oJNyM3/n/UhMJ+gq1Urw6uqRNkzo7IY4yYLuZycr/TcN4YQ2dKQ8ZfVzZGAoO5?= =?us-ascii?q?d4YBAPYMMPhFoYf7ulADqgWxChOwC+P0zj9FnXz20rc60+QlDw7KxhAvH9IXvX?= =?us-ascii?q?nSsd77OqASUeWvw6nJyzXOd+1Z1i3m6InIbh8hoeuDXbNqccbLzkkvDQzFgk2L?= =?us-ascii?q?pozlJTyV0/4BvHKH4OZ6SOKviGgqoBxyrDi33soglIfEipgWx13K7yl13po5KN?= =?us-ascii?q?miREN6YNOoCJhduz2AO4Z1X88uWX9ktDogxrEYuZO3YS4Hw4k9yRHFcfyIaY2I?= =?us-ascii?q?7wrjVOmPJTd4g2poeL2hiBmu8kigzffwWdK10FZQsiVFksPAtmoT2BzX8MeGSu?= =?us-ascii?q?Fx/kK71jaO0wDc9uFELloylardNZEhxqUwmoAVsUvdAi/6gET2jKmIeUU44uWk?= =?us-ascii?q?9erqbq/lq5KSLYN4lB3yP6A0lsG+AOk0Kg0OUHKa+eS42r3j50r5QLBSg/IoiK?= =?us-ascii?q?bWrIvaJcAAq666GQBV0oIj5AilAzi60NQUhWMHI05deBKbk4jpPEnDL+ziAve6?= =?us-ascii?q?h1SgiTNrx/HdPr39GZjNNXjCkLL5fbln8UJcyQwzzcpe551OEL0BLujzCQfNs4?= =?us-ascii?q?nTBxo9dgi12PqvXN5004dbXWOUHoeYNrnTuBmG/LR8DfOLYdo4kR3GD7Bx6vfl?= =?us-ascii?q?lnsRmlYdeaTv1ptBOyPwJehvP0jMOSmkudwGC2pf5lNvHtyvs0WLVHtoX1j3Wq?= =?us-ascii?q?s94j8hD4f/VdXAT4CpjfqK3HXiR8EEViV9ElmJVEzQWcCcQf5VMHCRK89ln3oP?= =?us-ascii?q?Ver5EtJz5VSVrAb/joFfAK/U9ykf7syx29V+5OqVnxAo/jwyFcmZ2nDLSmh1mm?= =?us-ascii?q?gITjkw0aRk50pw1gXb3A=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CLAwC/vrxaf0LRUxddHQEBBQELAYM/Z?= =?us-ascii?q?GAHCCiDXIhejW0IgTCSUYF6Cx+EZYQPBAMZBwEEMRcBAgEBAQEBAQEBARIBAQk?= =?us-ascii?q?LCwgmMYI4IoJvBg8BBQgBASYSNAImAiE+DQgBAYUJBAEKq1RtghyCbgEBBYFgg?= =?us-ascii?q?2uCIQiBCIQ8g21AgQwiDIFsgiuBOYFSOIJrglSXJw4IGlqBO4MiiFUGgS85gWG?= =?us-ascii?q?BPII3hHaJFIZmgSUeAYFxDgiBBYJ9CYILGI4jbQGOSQEB?= X-IPAS-Result: =?us-ascii?q?A0CLAwC/vrxaf0LRUxddHQEBBQELAYM/ZGAHCCiDXIhejW0?= =?us-ascii?q?IgTCSUYF6Cx+EZYQPBAMZBwEEMRcBAgEBAQEBAQEBARIBAQkLCwgmMYI4IoJvB?= =?us-ascii?q?g8BBQgBASYSNAImAiE+DQgBAYUJBAEKq1RtghyCbgEBBYFgg2uCIQiBCIQ8g21?= =?us-ascii?q?AgQwiDIFsgiuBOYFSOIJrglSXJw4IGlqBO4MiiFUGgS85gWGBPII3hHaJFIZmg?= =?us-ascii?q?SUeAYFxDgiBBYJ9CYILGI4jbQGOSQEB?= X-IronPort-AV: E=Sophos;i="5.48,376,1517871600"; d="scan'208";a="320533310" Received: from gecko.birch.relay.mailchannels.net ([23.83.209.66]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 29 Mar 2018 12:29:36 +0200 X-Sender-Id: altavisgmbh|x-authsender|eacsl@kahle.ch Received: from relay.mailchannels.net (localhost [127.0.0.1]) by relay.mailchannels.net (Postfix) with ESMTP id 9F7A85C1F63 for ; Thu, 29 Mar 2018 10:29:33 +0000 (UTC) Received: from web3041.oemsites.net (unknown [100.96.33.5]) (Authenticated sender: altavisgmbh) by relay.mailchannels.net (Postfix) with ESMTPA id 01D9F5C16F9 for ; Thu, 29 Mar 2018 10:29:32 +0000 (UTC) X-Sender-Id: altavisgmbh|x-authsender|eacsl@kahle.ch Received: from web3041.oemsites.net (37-59-242-53.oemsites.net [172.18.55.173]) (using TLSv1.2 with cipher DHE-RSA-AES256-GCM-SHA384) by 0.0.0.0:2500 (trex/5.14.1); Thu, 29 Mar 2018 10:29:33 +0000 X-MC-Relay: Neutral X-MailChannels-SenderId: altavisgmbh|x-authsender|eacsl@kahle.ch X-MailChannels-Auth-Id: altavisgmbh X-Abortive-Slimy: 346ea9c11d7a7cb6_1522319373427_3232594480 X-MC-Loop-Signature: 1522319373427:431750424 X-MC-Ingress-Time: 1522319373427 Received: from [10.60.4.163] (host-80-81-20-251.customer.m-online.net [80.81.20.251]) (Authenticated sender: eacsl@kahle.ch) by web3041.oemsites.net (Postfix) with ESMTPSA id B3FDE2001983 for ; Thu, 29 Mar 2018 12:29:30 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=kahle.ch; s=default; t=1522319371; bh=sy5mVdKy+SvH0WPXNjA3O0Rtw2zSZEcCv8DcDzDFP5g=; l=2529; h=From:Subject:To; b=mp7MzLS+7IHCVjvaCHCzPqIg0FhnF0uGcc/XAi43RChkjHEJvj06i7NX8b0qSKR/t 4PPc1Mr0AH/YIIEeozaoec3QUfPPHG8jeV2x738Zm69u9EQEGfwubDTPIIydMNlPhL ZOxtCcGGA6ZqzTwjay2Le1Jxo+Q3aOy0Tq55x/f0= From: EACSL To: caml-list Message-ID: Date: Thu, 29 Mar 2018 12:29:55 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.6.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Language: en-US Content-Transfer-Encoding: 8bit X-PPP-Message-ID: <20180329102930.25036.11304@web3041.oemsites.net> X-PPP-Vhost: kahle.ch X-Validation-by: eacsl@kahle.ch Subject: [Caml-list] CSL 2018: Final Call for Papers Reply-To: EACSL X-Loop: caml-list@inria.fr X-Sequence: 16753 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: Final Call for Papers ======================================== Computer Science Logic 2018 Birmingham, United Kingdom 4–7 September ======================================== # Important Dates * Abstract Submission: 7 April 2018 (AoE) * Paper Submission: 14 April 2018 (AoE) * Author Notification: 14 June 2018 # 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 across both basic and application oriented research in mathematical logic and computer science. CSL 2018 will be the 27th edition in the series. It will be organised by the School of Computer Science of the University of Birmingham. # Proceedings Proceedings will be published in the Leibniz International Proceedings in Informatics (LIPIcs). After the conference, selected papers will be invited to a special issue of the online open access journal Logical Methods in Computer Science. # Submission Submission will be through EasyChair. Papers should be no more than 15 pages (excluding references) in LIPIcs style and may not be submitted concurrently to another conference with refereed proceedings. For further details please see # Invited Speakers * Bob Coecke University of Oxford * Emmanuel Filiot Université Libre de Bruxelles * Catuscia Palamidessi École Polytechnique * Christine Tasson Université Paris Diderot * Szymon Toruńczyk, Uniwersytet Warszawksi # Programme Committee * Christel Baier, TU Dresden * Martin Berger, University of Sussex * Lars Birkedal, Aarhus University * Veronique Bruyere, University of Mons * Agata Ciabattoni, TU Wien * Ugo Dal Lago, University of Bologna * Ross Duncan, University of Strathclyde * Jamie Gabbay, Heriot-Watt University * Marco Gaboardi, University at Buffalo, SUNY * Dan R. Ghica, University of Birmingham (Co-chair) * Russ Harmer, CNRS & ENS Lyon * Achim Jung, University of Birmingham (Co-chair) * Juha Kontinen, University of Helsinki * Jean Krivine, Université Paris Diderot & IRIF * Slawek Lasota, University of Warsaw * Marina Lenisa, University of Udine * Anca Muscholl, University of Bordeaux * Wied Pakusa, RWTH Aachen University * Daniela Petrisan, Université Paris Diderot * Sebastian Siebertz, University of Warsaw * Alexandra Silva, University College London -- Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs