[logic-ml] NII Summer School on Coq in Japan (最終案内)

[Jacques Garrigue]

皆様、

8月末に湘南で開催されるCoqのサマースクールの最終案内を送ります。
参加申込の〆切が5月2日なので、お早めにお願いします。

ニュース
・Coq は先週 ACM の Software System Award を受賞しました。
　当スクールの講師二人が受賞者に含まれています。
・Coq を始める人から既に詳しい人まで、様々な受講者に対応する
　つもりです。
・日本の学生について、参加申込での推薦状は求めません。

一流の専門家にCoqが習える機会ですので、ご参加をご検討して
頂ければと思います。

----
We are pleased to announce the NII International Summer School on the
Coq proof assistant 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.

Lecturers:
- Yves Bertot, INRIA, France
- Sandrine Blazy, University of Rennes 1, France
- Pierre Casteran, LaBRI, France
- Assia Mahboubi, INRIA, France

Application is open to Master students, PhD students, and people from
academy or industry who want to use Coq in their work. We might also
consider applications by Bachelor students in exceptional cases.
While the level of the lectures is intended to be accessible to motivated
beginners (with some background in logic or mathematics), it should
also be interesting to Coq users who wish to deepen their understanding
of the system.

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 2nd, an email
explaining in a few words why you wish to participate to:

coq-school at math.nagoya-u.ac.jp

In case of students coming from outside of Japan, 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/

Pierre Casteran, Jacques Garrigue, David Nowak