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 AB86C7FA1F for ; Sat, 12 Jul 2014 00:06:10 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of cnn@cs.au.dk) identity=pra; client-ip=207.46.163.25; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="cnn@cs.au.dk"; x-sender="cnn@cs.au.dk"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of cnn@cs.au.dk) identity=mailfrom; client-ip=207.46.163.25; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="cnn@cs.au.dk"; x-sender="cnn@cs.au.dk"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@co9outboundpool.messaging.microsoft.com) identity=helo; client-ip=207.46.163.25; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="cnn@cs.au.dk"; x-sender="postmaster@co9outboundpool.messaging.microsoft.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhYBACJfwFPPLqMZnGdsb2JhbABZg2CsbJRsiGQPAQEBAQEGDQkJFCiEHAsbQD0WGAMCAQIBSw0IAQEeiCANnlKCRwGBGgEBikcBAZl3F4V7hiCDS4QtBYoel3oMhC+MFGo X-IPAS-Result: AhYBACJfwFPPLqMZnGdsb2JhbABZg2CsbJRsiGQPAQEBAQEGDQkJFCiEHAsbQD0WGAMCAQIBSw0IAQEeiCANnlKCRwGBGgEBikcBAZl3F4V7hiCDS4QtBYoel3oMhC+MFGo X-IronPort-AV: E=Sophos;i="5.01,645,1400018400"; d="scan'208";a="71137451" Received: from co9ehsobe002.messaging.microsoft.com (HELO co9outboundpool.messaging.microsoft.com) ([207.46.163.25]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-SHA; 12 Jul 2014 00:06:09 +0200 Received: from mail132-co9-R.bigfish.com (10.236.132.243) by CO9EHSOBE021.bigfish.com (10.236.130.84) with Microsoft SMTP Server id 14.1.225.22; Fri, 11 Jul 2014 22:06:07 +0000 Received: from mail132-co9 (localhost [127.0.0.1]) by mail132-co9-R.bigfish.com (Postfix) with ESMTP id E0879D006D5 for ; Fri, 11 Jul 2014 22:06:06 +0000 (UTC) X-Forefront-Antispam-Report: CIP:130.225.30.56;KIP:(null);UIP:(null);IPV:NLI;H:uniedge02.uni.au.dk;RD:uniedge02.uni.au.dk;EFVD:NLI X-SpamScore: 2 X-BigFish: VPS2(z59c9hzc89bh1462Izz1f42h1ee6h1de0h1d18h2073h2146h1202h1e76h2189h1d1ah1d2ah21bch1fc6h208ch1fdah1082kzebhz17326ah1777e0h1de097h186068hz2dh2a8h839h947hd25he5bhf0ah1288h12a5h12a9h12bdh137ah13b6h1441h1504h1537h153bh162dh1631h1758h1765h18e1h190ch1946h19b4h19c3h1b0ah2222h224fh1d0ch1d2eh1d3fh1dc1h1dfeh1dffh1f5fh1fe8h1ff5h209eh22d0h2336h2438h2461h2487h24d7h2516h2545h255eh25f6h2605h268bh26d3h27e2h282bh29d0h2a24h2b05h) Received: from mail132-co9 (localhost.localdomain [127.0.0.1]) by mail132-co9 (MessageSwitch) id 1405116364495696_22833; Fri, 11 Jul 2014 22:06:04 +0000 (UTC) Received: from CO9EHSMHS027.bigfish.com (unknown [10.236.132.254]) by mail132-co9.bigfish.com (Postfix) with ESMTP id 763251C0050 for ; Fri, 11 Jul 2014 22:06:04 +0000 (UTC) Received: from uniedge02.uni.au.dk (130.225.30.56) by CO9EHSMHS027.bigfish.com (10.236.130.37) with Microsoft SMTP Server (TLS) id 14.16.227.3; Fri, 11 Jul 2014 22:06:01 +0000 Received: from SRVUNIHUB01.uni.au.dk (10.88.2.6) by uniedge02.uni.au.dk (10.87.2.13) with Microsoft SMTP Server (TLS) id 14.3.195.1; Sat, 12 Jul 2014 00:05:58 +0200 Received: from [192.168.0.11] (10.88.100.16) by SRVUNIHUB01.uni.au.dk (10.88.2.6) with Microsoft SMTP Server (TLS) id 14.3.181.6; Sat, 12 Jul 2014 00:05:58 +0200 Message-ID: <53C05FC6.9080800@cs.au.dk> Date: Sat, 12 Jul 2014 00:05:58 +0200 From: Jacob Johannsen User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.6.0 MIME-Version: 1.0 To: Content-Type: text/plain; charset="ISO-8859-1"; format=flowed Content-Transfer-Encoding: quoted-printable X-OriginatorOrg: cs.au.dk X-FOPE-CONNECTOR: Id%0$Dn%*$RO%0$TLS%0$FQDN%$TlsDn% Subject: [Caml-list] PPDP 2014 Call for Participation =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D CALL FOR PARTICIPATION: PPDP 2014 16th International Symposium on Principles and Practice of Declarative Programming Canterbury, Kent, September 8-10, 2014 http://users-cs.au.dk/danvy/ppdp14/ co-located with LOPSTR 2014 24th International Symposium on Logic-Based Program Synthesis and Transformation Canterbury, Kent, September 9-11, 2014 http://www.iasi.cnr.it/events/lopstr14/ =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Registration is now open: http://www.cs.kent.ac.uk/events/2014/ppdp-lopstr-14/ A significant discount is available when registering to both events, especially as a student (until August 8). PPDP 2014 features * an invited talk by Roberto Giacobazzi, shared with LOPSTR: "Obscuring Code -- Unveiling and Veiling Information in Programs" * no fewer than 4 distilled tutorials by - Henrik Nilsson and Ivan Perez: "Declarative Game Programming" - Danko Ilik: "Proofs in Continuation-Passing Style: normalization of G=F6del's System T extended with sums and delimited control operators" - Jerzy Karczmarczuk: "On the Declarative Structure of Quantum Concepts: States and Observables" - Ralf Laemmel, Andrei Varanovich, and Martin Leinberger: "Declarative Software Development" * a rich program of 22 contributed research talks * the most influential paper 10-year award for PPDP 2004 Also, please note a change of dates: LOPSTR will start on September 9, rather than September 10 as previously announced. Hope to see you in Canterbury.