caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* [Caml-list] FLOPS 2014 call for participation (June 4-6, Kanazawa, Japan; early registration deadline on May 13)
@ 2014-04-04 14:34 Eijiro Sumii
  0 siblings, 0 replies; only message in thread
From: Eijiro Sumii @ 2014-04-04 14:34 UTC (permalink / raw)
  To: caml-list; +Cc: flops2014

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

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2014-04-04 14:34 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2014-04-04 14:34 [Caml-list] FLOPS 2014 call for participation (June 4-6, Kanazawa, Japan; early registration deadline on May 13) Eijiro Sumii

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).