[TYPES/announce] FLOPS 2014 call for participation (early registration deadline extended)

[Eijiro Sumii]

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