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 sympa.inria.fr (Postfix) with ESMTPS id A24547FFB4 for ; Fri, 11 Mar 2016 17:02:32 +0100 (CET) IronPort-PHdr: 9a23:s6mTlBUAHO+pZMGtdi+nQUvUwh3V8LGtZVwlr6E/grcLSJyIuqrYZhyPt8tkgFKBZ4jH8fUM07OQ6PC/HzxRqsbY+Fk5M7VyFDY9wf0MmAIhBMPXQWbaF9XNKxIAIcJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3CwN5K6zPF5LIiIzvjqbpq8KVM1QD1GP1SIgxBSv1hD2ZjtMRj4pmJ/R54TryiVwMRd5rw3h1L0mYhRf265T41pdi9yNNp6BprJYYAu2pN5g/GPZTBTEidmQ0/9HDtB/ZTALJ6GFWGjEdmx9MRgzE9w3SX5HrsyK8uPAriweAOsijYK0uXiyv5qEjYQTzjywGPiI492efjcI4p6VeuA+9qgY3+IXVbYeeObJaeazcdptOSGNKRcJ5VCVBBo76ZItZXLlJBvpRs4So/whGlhC5HwT5XO4= 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@bumble.birch.relay.mailchannels.net Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of eacsl@kahle.ch) identity=pra; client-ip=23.83.209.25; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="eacsl@kahle.ch"; x-sender="eacsl@kahle.ch"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of eacsl@kahle.ch designates 23.83.209.25 as permitted sender) identity=mailfrom; client-ip=23.83.209.25; receiver=mail2-smtp-roc.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 (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@bumble.birch.relay.mailchannels.net) identity=helo; client-ip=23.83.209.25; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="eacsl@kahle.ch"; x-sender="postmaster@bumble.birch.relay.mailchannels.net"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0ArBQCV6+JWixnRUxddhBBtpjYJAQeMKok0IYcXBAM8EAEBAQEBAQEBEAEBAQgLCwkfJguCLYI4BhULASICCgIEAxccAgUWCwILAwIBAgFLDQgBAYggBAEJkHycMGeERgKKYxcHfIRUhkGCXQSDIoE6h2SPZIVtgnKFHYFkS4IohFgjhTCOcTeBbU4EgVBqAYkVgTsBAQE X-IPAS-Result: A0ArBQCV6+JWixnRUxddhBBtpjYJAQeMKok0IYcXBAM8EAEBAQEBAQEBEAEBAQgLCwkfJguCLYI4BhULASICCgIEAxccAgUWCwILAwIBAgFLDQgBAYggBAEJkHycMGeERgKKYxcHfIRUhkGCXQSDIoE6h2SPZIVtgnKFHYFkS4IohFgjhTCOcTeBbU4EgVBqAYkVgTsBAQE X-IronPort-AV: E=Sophos;i="5.24,321,1454972400"; d="scan'208";a="207260505" Received: from bumble.birch.relay.mailchannels.net ([23.83.209.25]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 11 Mar 2016 17:02:30 +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 2995112292B for ; Fri, 11 Mar 2016 16:02:27 +0000 (UTC) Received: from web3041.oemsites.net (ip-10-42-131-234.us-west-2.compute.internal [10.42.131.234]) by relay.mailchannels.net (Postfix) with ESMTPA id AA2B3122953 for ; Fri, 11 Mar 2016 16:02:25 +0000 (UTC) X-Sender-Id: altavisgmbh|x-authsender|eacsl@kahle.ch Received: from web3041.oemsites.net (37-59-242-53.oemsites.net [10.107.129.58]) (using TLSv1.2 with cipher DHE-RSA-AES256-GCM-SHA384) by 0.0.0.0:2500 (trex/5.6.8); Fri, 11 Mar 2016 16:02:26 +0000 X-MC-Relay: Neutral X-MailChannels-SenderId: altavisgmbh|x-authsender|eacsl@kahle.ch X-MailChannels-Auth-Id: altavisgmbh X-MC-Loop-Signature: 1457712146289:3337825902 X-MC-Ingress-Time: 1457712146289 Received: from [10.137.25.221] (gw-staff-dmat.nat.fct.unl.pt [193.136.124.170]) (Authenticated sender: eacsl@kahle.ch) by web3041.oemsites.net (Postfix) with ESMTPSA id 40CCE2005F6C for ; Fri, 11 Mar 2016 17:02:15 +0100 (CET) DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=default; d=kahle.ch; b=mh4BgSyamy71YqB0qZPz/+9Qyb2T+9YEvLPyFtvP1VdCISluOfS7TJvFEucBLUzu2Et2b+8orpYxXHM69U2lKDZii6BFE3If8Tdlz7zvoIqlKS1OoBBfqiwHPn1FGvY/XnCBWPbGdIEEGFU617AOxyiebe1rwvmZ5Yz13nPLUfA=; h=To:Subject:From:Message-ID:Date:User-Agent:MIME-Version:Content-Type:Content-Transfer-Encoding:X-PPP-Message-ID:X-PPP-Vhost; To: "caml-list@inria.fr" From: European Association of Computer Science Logic Message-ID: <56E2EB7E.6070005@kahle.ch> Date: Fri, 11 Mar 2016 15:59:58 +0000 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.6.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed X-PPP-Message-ID: <20160311160217.22699.3778@web3041.oemsites.net> X-PPP-Vhost: kahle.ch Content-Transfer-Encoding: quoted-printable X-Validation-by: eacsl@kahle.ch Subject: [Caml-list] CSL 2016 - 2nd call for papers CALL FOR PAPERS CSL 2016 25th EACSL Annual Conference on Computer Science Logic August 29 -- September 1, 2016, Marseille, France http://csl16.lif.univ-mrs.fr/ ------------------------------------------------------------------------ Abstract submission: April 8, 2016 Paper submission: April 15, 2016 Notification: June 11, 2016 ------------------------------------------------------------------------ Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science. CSL 2016 is the 25th EACSL annual conference, and will be organized by Aix-Marseille Universit=C3=A9 in Marseille, France. Scope ----- Suggested topics of interest include (but are not limited to): * 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, * bounded arithmetic and propositional proof complexity, * 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. Invited Speakers ---------------- Libor Barto - University of Prague, Czech Republic Agata Ciabattoni - University of Vienna, Austria Anca Muscholl - University of Bordeaux, France Alexandra Silva - University College, London, UK Satellite events ---------------- Three affiliated workshops will be held as co-located events in the days following the conference: LCC'16: Logic and Computational Complexity 2016 (September 2-3) PLRR: Parametricity, Logical Relations and Realizability (September 2) QSLC: Quantitative Semantics of Logic and Computation (September 2-3) Submission guidelines --------------------- The CSL 2016 conference proceedings will be published in Leibniz International Proceedings in Informatics (LIPIcs). Authors are invited to submit papers of no more than 15 pages in LIPIcs style (including references) presenting work not previously published, fitting the scope of the conference. The submission is in two stages: * abstracts are due on April 8, 2016 (AoE); * final papers are due on April 15, 2016 (AoE). Both stages must be done via the EasyChair page for the conference: https://easychair.org/conferences/?conf=3Dcsl2016 Submitted papers must be written 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 technical appendix which will be read at the reviewers=E2=80=99 discretion. Authors are strongly encouraged to in= clude a well written introduction which is directed at all members of the PC. Papers must 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. Special Issue ------------- Authors of a selection of the best accepted papers for CSL 2016 will be invited to submit a revised and extended version of their article to a special issue for publishing in Logical Methods in Computer Science. Programme Committee ------------------- Christel Baier =E2=80=93 Technische Universit=C3=A4t Dresden, Germany Mickael Benedikt =E2=80=93 University of Oxford, UK Manuel Bodirsky =E2=80=93 Technische Universit=C3=A4t Dresden, Germa= ny Sam Buss =E2=80=93 University of California, USA Luis Caires =E2=80=93 Universidade Nova de Lisboa, Portugal Giovanna D=E2=80=99Agostino =E2=80=93 University of Udine, Italy Thomas Ehrhard =E2=80=93 CNRS Universit=C3=A9 Paris Diderot, France Emmanuel Filiot =E2=80=93 Universit=C3=A9 Libre de Bruxelles, Belgium Silvio Ghilardi =E2=80=93 Universit=C3=A0 degli Studi di Milano, Ita= ly Valentin Goranko =E2=80=93 Stockholm University, Sweden Anna Ing=C3=B3lfsd=C3=B3ttir =E2=80=93 Reykjavik University, Iceland Laura Kov=C3=A1cs =E2=80=93 Chalmers University of Technology, Sweden Marta Kwiatkowska =E2=80=93 University of Oxford, UK Christof L=C3=B6ding =E2=80=93 RWTH Aachen University, Germany Assia Mahboubi =E2=80=93 INRIA Saclay Ile-de-France, France Guy McCusker =E2=80=93 University of Bath, UK Magdalena Ortiz =E2=80=93 TU Wien, Austria Sophie Pinchinat =E2=80=93 Universit=C3=A9 de Rennes 1, France Laurent Regnier =E2=80=93 Aix-Marseille Universit=C3=A9, France (co-= chair) Sylvain Salvati =E2=80=93 Universit=C3=A9 de Bordeaux, France Ulrike Sattler =E2=80=93 University of Manchester, UK Peter Selinger =E2=80=93 Dalhousie University, Canada Thomas Streicher =E2=80=93 Technische Universit=C3=A4t Darmstadt, Ge= rmany Jean-Marc Talbot =E2=80=93 Aix-Marseille Universit=C3=A9, France (co= -chair) Pawe=C5=82 Urzyczyn =E2=80=93 Uniwersytet Warszawski, Poland Luca Vigan=C3=B2 =E2=80=93 King=E2=80=99s College London, UK Organising Committee -------------------- * Emmanuel Beffara * Benjamin Monmege * Luigi Santocanale * Laurent Regnier (co-chair) * Pierre-Alain Reynier * Jean-Marc Talbot (co-chair) * Lionel Vaux (all from Aix-Marseille Universit=C3=A9, Marseille, France)