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

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