ADG 2021
General Call for papers Important dates Committees Previous meetings Travel Download News

Announcement (January 28, 2021)

The ADG conference will be held in September 2021. If the conference cannot be organized with full in-person participation, it will be organized online or in a mixed manner.


Overview

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. The previous editions of ADG were held in Nanning in 2018, Strasbourg in 2016, Coimbra in 2014, Edinburgh in 2012, Munich in 2010, Shanghai in 2008, Pontevedra in 2006, Gainesville in 2004, Hagenberg in 2002, Zurich in 2000, Beijing in 1998, and Toulouse in 1996. The 13th edition, ADG 2021, is co-organized with the Research Institute for Symbolic Computation (RISC), and will be held in Hagenberg, Austria, September 15-17, 2021. If the conference cannot be organized with full in-person participation, it will be organized online or in a mixed manner. The conference ADG was supposed to be held in 2020 in Hagenberg, Austria, but due to the covid pandemic, it was postponed for September 2021.

Scope

Relevant topics include (but are not limited to):
  • polynomial algebra, invariant and coordinate-free methods;
  • probabilistic, synthetic, and logic approaches, techniques for automated geometric reasoning from discrete mathematics, combinatorics, and numerics;
  • interactive theorem proving in geometry;
  • symbolic and numeric methods for geometric computation, geometric constraint solving, automated generation/reasoning and manipulation with diagrams;
  • design and implementation of geometry software, automated theorem provers, special-purpose tools, experimental studies;
  • 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.

Invited Speakers

Registration Fee

    200 EUR (tentatively)

Sponsors

JKU - Johannes Kepler University Linz   JKU logo
RISC - Research Institute for Symbolic Computation   RISC logo
DK Computational Mathematics   DK logo
webmaster Last update: 28 January 2021