coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Announcement: the 1st Asian-Pacific summer school on formal methods

From: Jean-Pierre Jouannaud <jeanpierre.jouannaud AT gmail.com>
To: coq-club AT pauillac.inria.fr
Subject: [Coq-Club] Announcement: the 1st Asian-Pacific summer school on formal methods
Date: Tue, 9 Jun 2009 15:49:29 +0800
Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:date:message-id:subject:from:to:content-type :content-transfer-encoding; b=org/6LQ3nL1JGJvbg9Z8zRrnr+icVURLuOEMIKlpQh+wHjGs2yfiXmePpYbLgfEP2d NV1CUSgbcUI3+lk8KohvaSrlE8MrIVit6VclHroNHsSlGkw+MhrNdojOzZQVIAyARBbf UniHh3YdZxdro+54zV4DidSa27L6Ah91t3J/c=
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

Dear colleague,

Please find the announcement of the first Asian-Pacific
summer school on formal methods, which purpose is to promote Coq in
this important part of the world.

http://coqschool-asia.org/

This summer school shall be the very first summer school of this kind
to be held in China, in the Future Internet Technology Research Center
(FIT) of Tsinghua University. The objective is to teach students
the principles and pratice of programming with the proof
assistant Coq, a free, open source software developed at INRIA,
Universit� Paris-Sud and �cole Polytechnique in France.

I hope you will find it interesting and invite some of your
students to apply, in which case you are encourage to write a
recommandation letter for them.

Don't hesitate to circulate this announcement among your colleagues
and students.

Regards,

--
Jean-Pierre Jouannaud
INRIA Project FORMES
FIT Building, room F-603
Tsinghua University
Beijing
Tel: +80 10 6279 6979 x603
jeanpierre.jouannaud AT gmail.com

[Coq-Club] Announcement: the 1st Asian-Pacific summer school on formal methods, Jean-Pierre Jouannaud