Jacques Fleuriot invited speaker at ADG 2018

12th International Conference on Automated Deduction in Geometry

ADG 2018

The conference will be held in Nanning, China 11-14 September, and is in memory of Wen-ts√ľn Wu, the founder of the Chinese School of Mathematics Mechanization.