  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 Hagenberg in 2021 (online, postponed from
2020 due to COVID-19), 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 14th edition, ADG 2023, was held in Belgrade, Serbia, in September 20-22,
2023. This edition of ADG had an additional special focus topic, Deduction in
Education.
  Invited Speakers: Julien Narboux, University of Strasbourg, France
"Formalisation, arithmetization and automatisation of geometry"; Filip Mari\'c,
University of Belgrade, Serbia, "Automatization, formalization and
visualization of hyperbolic geometry"; Zlatan Magajna, University of Ljubljana,
Slovenia, "Workshop OK Geometry"
