Home

First Asian-Pacific Coq Summer School

Submitted by coq-www on 31 Mar 2009 14:21 GMT

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.