The Coq mailing list

[Wouter Swierstra <icfp.publicity AT googlemail.com>]

Given the fairly recent severe earthquake and tsunami in Japan, you
may wonder how this affects the preparations for ICFP'11 in Tokyo.

Luckily, Tokyo was significantly less affected by these saddening
events than the regions further north.  In fact, the situation in
Tokyo is almost back to normal, after only two months, with another
four months until ICFP.  Moreover, all major embassies have in the
meantime lifted their travel advisories for the Tokyo metropolitan
region (while they still maintain active advisories for some other
regions.)

Our local organisational team has completed major parts of the
preparations and recently summarised the most important facts on a
local information page for ICFP'11:

 http://www.biglab.org/icfp11local/index.html

The main conference site is at

 http://www.icfpconference.org/icfp2011/

We are looking forward to seeing you in Tokyo in September!

Manuel Chakravarty
Zhenjiang Hu
(General Chairs of ICFP'11)