First Asian-Pacific Coq Summer School

The first Asian-Pacific Coq summer school will be held in China, in the Future Internet Technology Research Center (FIT) of Tsinghua University, from 24th to 30th, august 2009.

More information and registration on the Asian-Pacific Coq summer school web page.