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.
