POSTPONED TO 2021: 13th International Conference on Automated Deduction in Geometry [ADG 2020]

General Information

Conference Date: 13/07/2020 - 15/07/2020

Venue: RISC, Hagenberg, Austria.