From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id EEA877ED7A for ; Thu, 20 Sep 2012 15:49:22 +0200 (CEST) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of philippe.veber@gmail.com) identity=pra; client-ip=209.85.220.182; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="philippe.veber@gmail.com"; x-sender="philippe.veber@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of philippe.veber@gmail.com designates 209.85.220.182 as permitted sender) identity=mailfrom; client-ip=209.85.220.182; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="philippe.veber@gmail.com"; x-sender="philippe.veber@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-vc0-f182.google.com) identity=helo; client-ip=209.85.220.182; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="philippe.veber@gmail.com"; x-sender="postmaster@mail-vc0-f182.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AiwBACQeW1DRVdy2mGdsb2JhbABFvQ0IIwEBAQEBCAkNBxQnghciAiwBGx4DEggBAgVdAREBBQEGHDWHTgEDD5hXgmEJA4wlgnSFAQoZJw1ZiHQBBQyRUQOVZI5CFimECA X-IronPort-AV: E=Sophos;i="4.80,453,1344204000"; d="scan'208";a="156392776" Received: from mail-vc0-f182.google.com ([209.85.220.182]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 20 Sep 2012 15:49:22 +0200 Received: by vcbfw7 with SMTP id fw7so4417417vcb.27 for ; Thu, 20 Sep 2012 06:49:21 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:from:date:message-id:subject:to:content-type; bh=qOiQ2S6sZdR7w6FD2UmVThO6dhmP7TMrxYJ4jbW1r1o=; b=lL8BDTsNylpKUYq3jrfQsgPqM9COrwa7eW4U121QHBXI7tQBgDSkcCnIpy7DKyjftf XckOnY6TfzrOSX80p6j6S/TEyIR8M0af/Y6duFIzwfZ4szR12lIPKMBJL8SXoIFMJcWt penpQkz2otlgS2WyqZ33DSiOg4tYBZeU+6aZKzcgQPQmcxeNMR2uNWKx83BL2eESW3qV xWV0MqJwkYN5XB0UAfqo4PjJCq2VJCeTQ8aIT4eDNh2AGYDS2+5E2QV1CdJHoFCBALSK kQejGQ3M9/xekWqz2C2CHdKkNmCljlsibjFXMZiGM/hA+lKdij9A/xmm/7FWkOryBAc6 jdww== Received: by 10.58.155.167 with SMTP id vx7mr1132951veb.24.1348148961326; Thu, 20 Sep 2012 06:49:21 -0700 (PDT) MIME-Version: 1.0 Received: by 10.221.0.135 with HTTP; Thu, 20 Sep 2012 06:49:00 -0700 (PDT) From: Philippe Veber Date: Thu, 20 Sep 2012 15:49:00 +0200 Message-ID: To: caml users Content-Type: multipart/alternative; boundary=047d7b604456f1b7e904ca226353 X-Validation-by: philippe.veber@gmail.com Subject: [Caml-list] OUD slides --047d7b604456f1b7e904ca226353 Content-Type: text/plain; charset=ISO-8859-1 Hi all, as one of the poor souls that could not make it to this year's caml meeting, I'd like to know if the slides of the presentations will be available at some point. Thanks! Philippe. --047d7b604456f1b7e904ca226353 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Hi all,

=A0 as one of the poor souls that could not make it to this = year's caml meeting, I'd like to know if the slides of the presenta= tions will be available at some point. Thanks!

Philippe.
--047d7b604456f1b7e904ca226353--