coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] FLOPS 2014 call for participation (June 4-6, Kanazawa, Japan; early registration deadline on May 13)

From: Eijiro Sumii <eijiro.sumii AT gmail.com>
To: coq-club AT inria.fr
Cc: flops2014 AT jaist.ac.jp
Subject: [Coq-Club] FLOPS 2014 call for participation (June 4-6, Kanazawa, Japan; early registration deadline on May 13)
Date: Fri, 4 Apr 2014 23:37:32 +0900

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

[Coq-Club] FLOPS 2014 call for participation (June 4-6, Kanazawa, Japan; early registration deadline on May 13), Eijiro Sumii, 04/04/2014