Automated Deduction in Geometry - ADG 2020

Predrag Janicic janicic at
Thu Feb 27 06:05:58 EST 2020


ADG 2020
Thirteenth International Conference on Automated Deduction in Geometry
RISC, Hagenberg, July 13-15, 2020

ADG is a forum to exchange ideas and views, to present research results
and progress, and to demonstrate software tools at the intersection
between geometry and automated deduction. The conference is held every
two years, since 1996. Relevant topics include (but are not limited to):
     o polynomial algebra, invariant and coordinate-free methods;
     o probabilistic, synthetic, and logic approaches, techniques for
       automated geometric reasoning from discrete mathematics,
       combinatorics, and numerics;
     o interactive theorem proving in geometry;
     o symbolic and numeric methods for geometric computation, geometric
       constraint solving, automated generation/reasoning and manipulation
       with diagrams;
     o design and implementation of geometry software, automated theorem
       provers, special-purpose tools, experimental studies;
     o applications of ADG in mechanics, geometric modelling, CAGD/CAD,
       computer vision, robotics and education.

Special Focus:
This edition of ADG will have additional special focus topic: links
between automated deduction in geometry and robotics.

Important Dates:
     March 30: extended abstracts submission
     May 7: notification of acceptance
     June 15: final version due
     June 15: early registration
     July 13-15: ADG 2020

More details:

Kovács Zoltán, General Chair
Predrag Janicic, Program Chair

More information about the FOM mailing list