coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] FLOPS 2014 call for participation (early registration deadline extended)

From: Eijiro Sumii <eijiro.sumii AT gmail.com>
To: coq-club AT inria.fr
Cc: sumii AT ecei.tohoku.ac.jp
Subject: [Coq-Club] FLOPS 2014 call for participation (early registration deadline extended)
Date: Tue, 13 May 2014 19:40:59 +0900 (JST)

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

[Coq-Club] FLOPS 2014 call for participation (early registration deadline extended), Eijiro Sumii, 05/13/2014