Calendar

June 25 - June 28, 2007

The First Chinese-SALSA Workshop

March 19, 2007

Chinese members meet at Peking University

Nov. 21 – Dec. 11, 2006

Ye Liang and Rong Xiao visit INRIA and LIP6

November 16, 2006

Chinese members meet at Beihang University

September 2006

Lihong Zhi visits INRIA and LIP6

July 23, 2006

Chinese members and Fabrice Rouillier meet at the Key Laboratory of Mathematics Mechanization (KLMM)

July 2006

Fabrice Rouillier visits Peking University and Beihang University and speaks at SSSC 2006

May 2006

Ye Liang and Rong Xiao visit INRIA and LIP6 (delayed to November)

April 26 - May 6, 2006

Bican Xia visits INRIA and LIP6

April 18, 2006

Chinese members meet at Peking University (Rong and Ye give talks)

March 10, 2006

Chinese members meet at Beihang University

 

XML 地图 | Sitemap 地图