Skip to Content.
Sympa Menu

coq-club - [Coq-Club] 2nd Asian-Pacific Coq Summer School

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] 2nd Asian-Pacific Coq Summer School


chronological Thread 
  • 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.




Archive powered by MhonArc 2.6.16.

Top of Page