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 229C57F106 for ; Mon, 18 Jul 2016 22:19:32 +0200 (CEST) IronPort-PHdr: 9a23:b/aMHRYWNAah4Nlny26RKCv/LSx+4OfEezUN459isYplN5qZpcS+bnLW6fgltlLVR4KTs6sC0LuO9fyxEjVcut6oizMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpQAbFhi3DwdpPOO9QteU1JXvkbzjsMSPOE1hv3mUWftKNhK4rAHc5IE9oLBJDeIP8CbPuWZCYO9MxGlldhq5lhf44dqsrtY4q3wD86Fpy8kVG67zeqB9Sb1DEBwnNXo07Yvlr1OLGQCG439ZVmQNjjJJBRLE5Vf0RMGinDH9s79QxTOdJcD/S/gdQi+l5KZiVB7vjm8AOXYS92TPl9B9lupgqxOsoRdyi6rTb4CefK5zd6jGefsZTGpFU4BaV3oSUcuHc4ITAr9Zbq5jpI7nqg5WoA== 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@nov-007-i516.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=46.232.183.70; 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 46.232.183.70 as permitted sender) identity=mailfrom; client-ip=46.232.183.70; 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@nov-007-i516.relay.mailchannels.net) identity=helo; client-ip=46.232.183.70; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="eacsl@kahle.ch"; x-sender="postmaster@nov-007-i516.relay.mailchannels.net"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0AVBACfOI1Xh0a36C5bhBV8AaNmEYR/iACJaCKGAoElBAM8EAEBAQEBAQEBEQEBAQgNCQkhJAuCMhWCOQYVCwEkCgYDMwIFFgsCCwMCAQIBSw0GAgEBiDABCa8+Z4RDBwKJWwmBAYRhhk6BJoFBgQOCHoFeFGiIJJEFhhOITII5hxeFZ5AeNYFlQw8EgVhtAYdhAQEB X-IPAS-Result: A0AVBACfOI1Xh0a36C5bhBV8AaNmEYR/iACJaCKGAoElBAM8EAEBAQEBAQEBEQEBAQgNCQkhJAuCMhWCOQYVCwEkCgYDMwIFFgsCCwMCAQIBSw0GAgEBiDABCa8+Z4RDBwKJWwmBAYRhhk6BJoFBgQOCHoFeFGiIJJEFhhOITII5hxeFZ5AeNYFlQw8EgVhtAYdhAQEB X-IronPort-AV: E=Sophos;i="5.28,385,1464645600"; d="scan'208";a="185155811" Received: from nov-007-i516.relay.mailchannels.net ([46.232.183.70]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 18 Jul 2016 22:19:29 +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 064B4100B43 for ; Mon, 18 Jul 2016 20:19:05 +0000 (UTC) Received: from web3041.oemsites.net (ip-10-27-139-41.us-west-2.compute.internal [10.27.139.41]) by relay.mailchannels.net (Postfix) with ESMTPA id 74439100618 for ; Mon, 18 Jul 2016 20:19:03 +0000 (UTC) X-Sender-Id: altavisgmbh|x-authsender|eacsl@kahle.ch Received: from web3041.oemsites.net (37-59-242-53.oemsites.net [10.92.147.53]) (using TLSv1.2 with cipher DHE-RSA-AES256-GCM-SHA384) by 0.0.0.0:2500 (trex/5.6.16); Mon, 18 Jul 2016 20:19:04 +0000 X-MC-Relay: Neutral X-MailChannels-SenderId: altavisgmbh|x-authsender|eacsl@kahle.ch X-MailChannels-Auth-Id: altavisgmbh X-MC-Loop-Signature: 1468873143878:618561438 X-MC-Ingress-Time: 1468873143878 Received: from [192.168.1.2] (unknown [109.49.112.38]) (Authenticated sender: eacsl@kahle.ch) by web3041.oemsites.net (Postfix) with ESMTPSA id 1C2A120186AB for ; Mon, 18 Jul 2016 22:19:01 +0200 (CEST) DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=default; d=kahle.ch; b=ZSryuODfuk4EH9JhNN8gb6lfRaBwKEaYf8b+YiAl5B9foeqL4OeRd91+6Qfm95Kjpn24aIuOoF7em174f3MFLxdJXDchz/JJ/qIWyXPhsjTe6RdwFYWL4D7axIC3Kv8vPB5INiOOEYyEbnXlW0zwPLR9GaCy63T1VLvSeZko6Ww=; h=From:To:Subject:Message-ID:Date:User-Agent:MIME-Version:Content-Type:Content-Transfer-Encoding:X-PPP-Message-ID:X-PPP-Vhost; From: European Association of Computer Science Logic To: "caml-list@inria.fr" Message-ID: <578D3999.6020006@kahle.ch> Date: Mon, 18 Jul 2016 21:18:33 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.8.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed X-PPP-Message-ID: <20160718201901.2200.20812@web3041.oemsites.net> X-PPP-Vhost: kahle.ch Content-Transfer-Encoding: quoted-printable X-Validation-by: eacsl@kahle.ch Subject: [Caml-list] CSL 2016 - Call for participation Call for participation - CSL 2016 (August 29 - September 1) ----------------------------------------------------------- 25th EACSL Annual Conference on Computer Science Logic 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 will be the 25th edition in the series. CSL 2016 is hosted by Aix-Marseille Universit=C3=A9 and will take place in Marseille (France) from August 29 to September 1 (Satellite workshops August 28 and September 2-3). Both the main conference and its satellite workshops will be held in the city center campus of the Faculty of Science. These events are jointly organized by the Laboratoire d'Informatique Fondamentale de Marseille and the Institut de Math=C3=A9matiques de Marseille. http://csl16.lif.univ-mrs.fr/ Invited speakers ---------------- - Libor Barto (Charles University in Prague) - Agata Ciabattoni (Technische Universit=C3=A4t Wien) - Anca Muscholl (Universit=C3=A9 Bordeaux) - Alexandra Silva (University College London) Conference programme -------------------- http://csl16.lif.univ-mrs.fr/planning/csl/sessions/ Satellite workshops (August 28, September 2 and 3) -------------------------------------------------- CRECOGI: Concurrent, Resourceful and Effectful Computation by Geometry of Interaction (August 28) LCC'16: Logic and Computational Complexity 2016 (September 2 and 3) PLRR: Parametricity, Logical Relations and Realizability (September 2) QSLC: Quantitative Semantics of Logic and Computation (September 2 and 3) Registration ------------ http://csl16.lif.univ-mrs.fr/registration/ Contact ------- Organisation_csl16@liste.lidil.univ-mrs.fr