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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id E383E7F89E for ; Fri, 4 Apr 2014 16:34:13 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of eijiro.sumii@gmail.com) identity=pra; client-ip=209.85.217.171; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="eijiro.sumii@gmail.com"; x-sender="eijiro.sumii@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of eijiro.sumii@gmail.com designates 209.85.217.171 as permitted sender) identity=mailfrom; client-ip=209.85.217.171; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="eijiro.sumii@gmail.com"; x-sender="eijiro.sumii@gmail.com"; 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@mail-lb0-f171.google.com) identity=helo; client-ip=209.85.217.171; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="eijiro.sumii@gmail.com"; x-sender="postmaster@mail-lb0-f171.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkkCACjCPlPRVdmrlGdsb2JhbAA9GoNBV8QNgRcIFg4BAQEBBwsLCRIqgkkjARsdAQMSEDAtAREBBQGIGQEDEQ02oB+MX4MOlxUKGScNZIZBEQEFDI5lHYQiBIlYjwOMaYNnGCmDH4FOLg X-IPAS-Result: AkkCACjCPlPRVdmrlGdsb2JhbAA9GoNBV8QNgRcIFg4BAQEBBwsLCRIqgkkjARsdAQMSEDAtAREBBQGIGQEDEQ02oB+MX4MOlxUKGScNZIZBEQEFDI5lHYQiBIlYjwOMaYNnGCmDH4FOLg X-IronPort-AV: E=Sophos;i="4.97,795,1389740400"; d="scan'208";a="66436371" Received: from mail-lb0-f171.google.com ([209.85.217.171]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 04 Apr 2014 16:34:13 +0200 Received: by mail-lb0-f171.google.com with SMTP id w7so2529780lbi.2 for ; Fri, 04 Apr 2014 07:34:12 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:date:message-id:subject:from:to:cc:content-type; bh=f8I8s3tWCZ/VCWO5cDwOKt2srU5WGkeS5BO7uLQ8/SE=; b=lAFDO/bK5mKHyaG5ZqaQlyG1CHaC4oDpCX9wXMos6uE2vLkemlCvIybDc4gnGsjWgo fRosUskUF3NGHgVeaP2YyhGXglHcsJh1lTeACMVSsYLAO01pQJCwIgf0rmzi7eLjfaHM ex9Byu/XcRpBBnPWUWC2oIN8rj3ksMtCgb3N5Sayiuo/UrKV7Vucu4bu8G0rh/hmxlwK iHxRchm3NthBJ/ESVtQef75Qpr3NUzARl4BUKUhOZc7DkwmCozJyw6ht5d0oX7/nj2CQ chIy6B+SaOsYAcdEztBpqiew3PaYB9PdXDU26NnQjwtDpvdsP2jVDrGgIQfapXP66LVx UEXw== MIME-Version: 1.0 X-Received: by 10.112.26.199 with SMTP id n7mr8527802lbg.27.1396622052640; Fri, 04 Apr 2014 07:34:12 -0700 (PDT) Received: by 10.112.118.130 with HTTP; Fri, 4 Apr 2014 07:34:12 -0700 (PDT) Date: Fri, 4 Apr 2014 23:34:12 +0900 Message-ID: From: Eijiro Sumii To: caml-list@inria.fr Cc: flops2014@jaist.ac.jp Content-Type: text/plain; charset=ISO-8859-1 Subject: [Caml-list] FLOPS 2014 call for participation (June 4-6, Kanazawa, Japan; early registration deadline on May 13) Dear colleagues, The registration for FLOPS 2014 (Twelfth International Symposium on Functional and Logic Programming, June 4-6, Kanazawa, Japan) is now open: http://www.jaist.ac.jp/flops2014/registration.html - Early registration deadline on May 13, 2014 - Program http://www.jaist.ac.jp/flops2014/program.html with invited talks by Ranjit Jhala, Shin-ya Katsumata, and Gabriele Keller - Sponsored by JSSST SIGPPL; in cooperation with ACM SIGPLAN, AAFS, and ALP - Proceedings to be published as LNCS 8475 - Hyakuman-goku Matsuri Festival http://www.kanazawa-tourism.com/eng/event/event2.php on the day after the symposium (June 7); accommodation can be extended on request basis via the registration site (use the comments field) - See http://www.jaist.ac.jp/flops2014/ for more information Thank you! FLOPS 2014 Program Co-Chairs Michael Codish and Eijiro Sumii