Automated Deduction in Geometry - ADG 2020
Predrag Janicic
janicic at matf.bg.ac.rs
Thu Feb 27 06:05:58 EST 2020
CALL FOR PAPERS
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:
https://www.risc.jku.at/conferences/adg2020
Kovács Zoltán, General Chair
Predrag Janicic, Program Chair
More information about the FOM
mailing list