From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 7B02882355 for ; Sun, 10 Dec 2017 12:04:27 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=eacsl@kahle.ch; spf=Pass smtp.mailfrom=eacsl@kahle.ch; spf=None smtp.helo=postmaster@common.maple.relay.mailchannels.net Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of eacsl@kahle.ch) identity=pra; client-ip=23.83.214.38; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="eacsl@kahle.ch"; x-sender="eacsl@kahle.ch"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of eacsl@kahle.ch designates 23.83.214.38 as permitted sender) identity=mailfrom; client-ip=23.83.214.38; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="eacsl@kahle.ch"; x-sender="eacsl@kahle.ch"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@common.maple.relay.mailchannels.net) identity=helo; client-ip=23.83.214.38; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="eacsl@kahle.ch"; x-sender="postmaster@common.maple.relay.mailchannels.net"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3ALV+FbxSFTLTGo5Lp2JKM5sLXyNpsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa67bRON2/xhgRfzUJnB7Loc0qyN7PCmBDRIyK3CmU5BWaQEbwUCh8?= =?us-ascii?q?QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnZBUin4YAF8?= =?us-ascii?q?I+CwHo/Jk4zj3Om3/9jXYh5UrDu7e7J7ahus+1b/rM4T1KZ/MKEpxxLP6lJTYO?= =?us-ascii?q?NdxGp0JFWV1xHyruy3+YZ+7ylK88kq9sNGWqiyW6M3TLcQWDkvOHsxzM7itR3O?= =?us-ascii?q?CwCPsChPGl4KmwZFVlCWpCrxWY3853P3?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DPAwBvEy1ahybWUxdcHAEBAQQBAQoBA?= =?us-ascii?q?YM7aQNiBwgnhAKLFY5NAQeBC5lHCiOFGIRaBANDFAEBAQEBAQEBAQESAQEBCA0?= =?us-ascii?q?JCCgvgjgigmwGDwEFCAEBJhI0AiYCXw0IAQGKFw0EAQumJG6CJ4MJAQEFh18BA?= =?us-ascii?q?QEcCIEPglmDGYIxKQuCAYI/ggCBMziDAIJjoxaBEIZpjSiCFmODCYImg2mHUo0?= =?us-ascii?q?KiVSBOzaBXBVMOIJjCYIFNRsEgXN4AYl4AQEB?= X-IPAS-Result: =?us-ascii?q?A0DPAwBvEy1ahybWUxdcHAEBAQQBAQoBAYM7aQNiBwgnhAK?= =?us-ascii?q?LFY5NAQeBC5lHCiOFGIRaBANDFAEBAQEBAQEBAQESAQEBCA0JCCgvgjgigmwGD?= =?us-ascii?q?wEFCAEBJhI0AiYCXw0IAQGKFw0EAQumJG6CJ4MJAQEFh18BAQEcCIEPglmDGYI?= =?us-ascii?q?xKQuCAYI/ggCBMziDAIJjoxaBEIZpjSiCFmODCYImg2mHUo0KiVSBOzaBXBVMO?= =?us-ascii?q?IJjCYIFNRsEgXN4AYl4AQEB?= X-IronPort-AV: E=Sophos;i="5.45,388,1508796000"; d="scan'208";a="247827761" Received: from common.maple.relay.mailchannels.net ([23.83.214.38]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 10 Dec 2017 12:04:26 +0100 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 6A6E972057B for ; Sun, 10 Dec 2017 11:04:23 +0000 (UTC) Received: from web3041.oemsites.net (unknown [100.96.28.15]) (Authenticated sender: altavisgmbh) by relay.mailchannels.net (Postfix) with ESMTPA id CD341720F91 for ; Sun, 10 Dec 2017 11:04:22 +0000 (UTC) X-Sender-Id: altavisgmbh|x-authsender|eacsl@kahle.ch Received: from web3041.oemsites.net (37-59-242-53.oemsites.net [172.18.36.165]) (using TLSv1.2 with cipher DHE-RSA-AES256-GCM-SHA384) by 0.0.0.0:2500 (trex/5.11.3); Sun, 10 Dec 2017 11:04:23 +0000 X-MC-Relay: Neutral X-MailChannels-SenderId: altavisgmbh|x-authsender|eacsl@kahle.ch X-MailChannels-Auth-Id: altavisgmbh X-Dime-Obese: 5ae5953d74a14617_1512903863240_223318900 X-MC-Loop-Signature: 1512903863240:2410760183 X-MC-Ingress-Time: 1512903863239 Received: from [192.168.1.7] (a109-49-112-38.cpe.netcabo.pt [109.49.112.38]) (Authenticated sender: eacsl@kahle.ch) by web3041.oemsites.net (Postfix) with ESMTPSA id 8E3C2201A579 for ; Sun, 10 Dec 2017 12:04:20 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=kahle.ch; s=default; t=1512903860; bh=n633W+pkzvPmCF3+DBF12FyKQkTgCx678NyQa9LOuyw=; l=2124; h=From:To:Subject; b=drnR2JbVcoeXKY89bRlZrhR1D0w6lpoQ2s01j4Kps26xbPlQiyvQTph6MtZtrdmAM KrkdOzJML4fUqADWqW+3UUPfkiUzPRba7jNhNKtXlcjxD07uYizyKfsrbF+8pMJd3l YB3aZCeVIp6/IE/snSOdoQaJzcwzSIj+WvhteeTY= From: European Association of Computer Science Logic To: caml-list Message-ID: <1e4750df-68aa-6f37-6877-c254afd25667@kahle.ch> Date: Sun, 10 Dec 2017 11:04:06 +0000 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.5.0 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit X-PPP-Message-ID: <20171210110420.11389.55448@web3041.oemsites.net> X-PPP-Vhost: kahle.ch X-Validation-by: eacsl@kahle.ch Subject: [Caml-list] =?UTF-8?Q?CSL_2018_=E2=80=94_First_Call_for_Papers?= First 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) * 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. # Submission Submissions will be through EasyChair. For further details please see https://easychair.org/conferences/?conf=csl18 Proceedings will be published in the Leibniz International Proceedings in Informatics. After the conference, selected papers will be invited to a special issue of the online open access journal Logical Methods in Computer Science. # Invited Speakers * To be Announced * # 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, Univerity of Warsaw * Alexandra Silva, University College London