Thank you for participating. Here is a group photo to keep a memory of ADG 2018!
The proceedings are ready!
Abstracts of invited/plenary talks have been added.
The program of ADG is ready.
Registration fees have been fixed.
Submission deadline has been extended to June 15, 2018! We are looking forward to your submission and participation!
Final CFP has been distributed.
The steering committee & bylaws of the "Automated Deduction in Geometry (ADG)" Conference Series have been published.