April 16th-27th, 2012, Wuhan, China
Organized by :
- ANR project q-DIFF,
- Key Lab of Mathematics Mechanization (Chinese Academy of Science),
- School of Mathematics and Statistics (Wuhan University)
Supported by :
- Université Sciences et Technologies de Lille
- Université de Versailles Saint-Quentin-en-Yvelines
Schudele and information concerning the school