The Coq mailing list

[sidi <Sidi.Ould_Biha AT inria.fr>]

We are pleased to announce that the 2nd Asian-Pacific Coq Summer School
will take place from the 20th to the 27th of August 2010 at Tsinghua
University, Beijing, China.

This summer school will provide an up-to-date one-week introduction by
European experts to the Coq (http://coq.inria.fr) proof
assistant. This course is intended to Master and PhD students, and
professors and researchers interested in learning how to use this
state-of-the-art tool.

Please, find all the details on the program and the registration
procedure on http://formes.asia/cms/coqschool/2010

And do not hesitate to forward this announcement among your
colleagues and students.

Regards.