ADG Steering Committee

• Predrag Janičić (University of Belgrade, Serbia), chair
• Zoltán Kovács (PHDL Linz, Austria), chair
• Vesna Marinković (University of Belgrade, Serbia)
• Julien Narboux (University Paris Cité, France)
• Pedro Quaresma (University of Coimbra, Portugal)
• Jing Yang (Guangxi University for Nationalities, China)

---

ADG Foundation (Arbeitskreis zur Automatisierten Deduktion in der Geometrie) A-4020 Linz, Salesianumweg 3