coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: sidi <Sidi.Ould_Biha AT inria.fr>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] 2nd Asian-Pacific Coq Summer School
- Date: Wed, 09 Jun 2010 10:12:21 +0800
- Organization: INRIA
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.
- [Coq-Club] 2nd Asian-Pacific Coq Summer School, sidi
Archive powered by MhonArc 2.6.16.