皆様、

8月に湘南で開催されるCoqのサマースクールの案内を送ります。 制度の都合で参加申込の〆切が少し早いですが、 よろしくお願いします。

--- We are pleased to announce the NII International Summer School on the proof assistant Coq to be held from Monday, August 25th to Friday, August 29th, 2014 at Shonan Village Center in Japan. This school is sponsored by Inria and JFLI, CNRS.

Application is open to Master students, PhD students, and young researchers from academic institutions, and young people from private companies. We might also consider applications by Bachelor students in exceptional cases.

Because of limited space, there will be a pre-selection of participants by the organizers. If you wish to participate, please send as soon as possible and no later than May 2th, an email explaining in a few words why you wish to participate at:

[email protected]

In case of students, please also submit a recommendation letter by one of your professors.

The participation fee including full board, meeting fees and applicable taxes is 12,500 JPY per day plus an excursion fee of around 5,000 JPY.

Further information can be found at:

http://shonan.nii.ac.jp/seminar/041/

Jacques Garrigue, David Nowak, Pierre Casteran