From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <eijiro.sumii@gmail.com>
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 F26AA7EE5D
	for <caml-list@sympa.inria.fr>; Tue, 13 May 2014 12:40:59 +0200 (CEST)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  eijiro.sumii@gmail.com) identity=pra;
  client-ip=130.34.188.205;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="eijiro.sumii@gmail.com";
  x-sender="eijiro.sumii@gmail.com";
  x-conformance=sidf_compatible
Received-SPF: SoftFail (mail3-smtp-sop.national.inria.fr: domain
  of eijiro.sumii@gmail.com is inclined to not designate
  130.34.188.205 as permitted sender) identity=mailfrom;
  client-ip=130.34.188.205;
  receiver=mail3-smtp-sop.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 (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@primergy.kb.ecei.tohoku.ac.jp) identity=helo;
  client-ip=130.34.188.205;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="eijiro.sumii@gmail.com";
  x-sender="postmaster@primergy.kb.ecei.tohoku.ac.jp";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AhIFAIT2cVOCIrzN/2dsb2JhbAA/GoMGHDO/D4c7gR8WdIJJHSIdgQSIeQEUDTasMpxaChmBGIYHi0ODDx2CHg9EgTkEig2PO40YhW+DRS4w
X-IPAS-Result: AhIFAIT2cVOCIrzN/2dsb2JhbAA/GoMGHDO/D4c7gR8WdIJJHSIdgQSIeQEUDTasMpxaChmBGIYHi0ODDx2CHg9EgTkEig2PO40YhW+DRS4w
X-IronPort-AV: E=Sophos;i="4.97,1043,1389740400"; 
   d="scan'208";a="61640827"
Received: from primergy.kb.ecei.tohoku.ac.jp ([130.34.188.205])
  by mail3-smtp-sop.national.inria.fr with ESMTP; 13 May 2014 12:40:29 +0200
Received: from primergy.kb.ecei.tohoku.ac.jp (localhost.localdomain [127.0.0.1])
	by primergy.kb.ecei.tohoku.ac.jp (Postfix) with ESMTP id E6CFA102CF;
	Tue, 13 May 2014 19:40:39 +0900 (JST)
Received: from localhost (primergy.kb-private [192.168.124.15])
	by primergy.kb.ecei.tohoku.ac.jp (Postfix) with ESMTP id D2C9C102CE;
	Tue, 13 May 2014 19:40:39 +0900 (JST)
Date: Tue, 13 May 2014 19:40:20 +0900 (JST)
Message-Id: <20140513.194020.740840086040804493.sumii@ecei.tohoku.ac.jp>
To: caml-list@inria.fr
Cc: sumii@ecei.tohoku.ac.jp
From: Eijiro Sumii <eijiro.sumii@gmail.com>
X-Mailer: Mew version 6.4 on Emacs 23.4 / Mule 6.0 (HANACHIRUSATO)
Mime-Version: 1.0
Content-Type: Text/Plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Subject: [Caml-list] FLOPS 2014 call for participation (early registration
 deadline extended)

Dear colleagues,

The early registration for FLOPS 2014 (Twelfth International Symposium
on Functional and Logic Programming, June 4-6, Kanazawa, Japan) is now
open until May 16 Friday, 23:59 JST.

- Please register *now* (that is, if you plan to attend) at:
  http://www.jaist.ac.jp/flops2014/registration.html

- Program: http://www.jaist.ac.jp/flops2014/program.html

- Invited talks by Ranjit Jhala, Shin-ya Katsumata, and Gabriele Keller:
  http://www.jaist.ac.jp/flops2014/invited.html

- 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)

- More information at: http://www.jaist.ac.jp/flops2014/

Thank you again,

FLOPS 2014 Program Co-Chairs
Michael Codish and Eijiro Sumii