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