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"

翻译：ADG是一个交流思想与观点、展示研究成果与进展、以及演示几何与自动推理交叉领域软件工具的论坛。该会议每两年举办一次。往届ADG会议分别在以下地点举行：2021年于哈根贝格（线上举办，因新冠疫情从2020年推迟）、2018年于南宁、2016年于斯特拉斯堡、2014年于科英布拉、2012年于爱丁堡、2010年于慕尼黑、2008年于上海、2006年于蓬特韦德拉、2004年于盖恩斯维尔、2002年于哈根贝格、2000年于苏黎世、1998年于北京、1996年于图卢兹。第十四届ADG会议（ADG 2023）于2023年9月20日至22日在塞尔维亚贝尔格莱德举行。本届会议设有一个额外的特别关注主题：教育中的推理。特邀报告人：法国斯特拉斯堡大学的Julien Narboux，题目为"几何的形式化、算术化与自动化"；塞尔维亚贝尔格莱德大学的Filip Marić，题目为"双曲几何的自动化、形式化与可视化"；斯洛文尼亚卢布尔雅那大学的Zlatan Magajna，题目为"OK几何工作坊"。