Programme
| ADG 2023 - Programme | |||
| 20 of September – Hotel Palace | |||
| 09:00 | 09:30 | Registration | |
| 09:30 | 09:45 | Opening - Chair Predrag Janičić | |
| 09:45 | 10:30 | Invited Talk - Formalisation, arithmetization and automatisation of geometry  | Julien Narboux |
| 10:30 | 10:45 | Coffee break | |
| 10:45 | 12:30 | Session 1 - Workshop Deduction in Education (WDE) - Chair Filip Marić | |
| 10:45 | 11:30 | Invited Talk - OK Geometry | Zlatan Magajna |
| 11:30 | 12:00 | Solving with GeoGebra Discovery an Austrian Mathematics Olympiad problem: lessons learned | Belén Ariño-Morera, Zoltán Kovács, Tomas Recio and Piedad Tolmos |
| 12:00 | 12:30 | Solving some geometry problems of the Náboj 2023 contest with automated deduction in GeoGebra Discovery | Amela Hota, Zoltán Kovács and Alexander Vujic |
| 12:30 | 14:00 | Lunch | |
| 14:00 | 16:00 | Session 2a - WDE - Chair Pedro Quaresma | |
| 14:00 | 14:30 | The locus story of a rocking camel in a medical center in the city of Freistadt [videos] | Eva Erhart, Anna Käferböck, Zoltán Kovács and Engelbert Zeintl |
| 14:30 | 15:00 | Using GXWeb for theorem proving and mathematical modelling | Danny Aley and Philip Todd |
| 15:00 | 15:30 | Using Java Geometry Expert as guide in preparations for math contests | Ines Ganglmayr and Zoltán Kovács |
| 15:30 | 16:00 | Coffee break | |
| 16:00 | 18:00 | Session 2b - WDE - Chair Filip Marić | |
| 16:00 | 16:30 | Showing proofs, assessing difficulty with GeoGebra Discover | Zoltan Kovacs, Tomas Recio and M. Pilar Vélez |
| 16:30 | 17:00 | 3D space trajectories and beyond: abstract art creation with 3D printing | Thierry Dana-Picard, Mathias Tejera and Eva Ulbrich |
| 17:00 | 17:30 | Deduction in Education: the Case of Serbia  | Bojan Tomić, Miloš Milovanović and Gordana Medić-Simić |
| 17:30 | 18:00 | Euclid's theorems through the area method | Anna Petiurenko |
| 18:00 | 18:15 | Closing | Filip Marić |
| 18:45 | 22:00 | Cocktail at National Museum, Short Guided Tour and Joint Dinner (optional) | |
| 21 of September – Hotel Palace | |||
| 09:00 | 09:30 | Registration | |
| 09:30 | 12:30 | Session 3 - ADG - Chair Pedro Quaresma | |
| 09:30 | 10:30 | Invited Talk - Automatization, formalization and visualization of hyperbolic geometry | Filip Marić |
| 10:30 | 11:00 | Coffee break | |
| 11:00 | 11:30 | Open source prover in the attic | Zoltán Kovács and Alexander Vujic |
| 11:30 | 12:00 | Automation of Triangle Ruler-and-Compass Constructions Using Constraint Solver | Milan Banković |
| 12:00 | 12:30 | Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving | Salwa Tabet Gonzalez, Predrag Janičić and Julien Narboux |
| 12:30 | 14:00 | Lunch | |
| 14:00 | 18:00 | Session 4 - ADG - Chair Predrag Janičić | |
| 14:00 | 14:30 | Towards an Independent Version of Tarski's System of Geometry | Pierre Boutry, Stéphane Kastenbaum and Clément Saintier |
| 14:30 | 15:00 | Towards automated readable proofs of ruler and compass constructions | Vesna Marinković, Tijana Sukilovic and Filip Marić |
| 15:00 | 15:30 | Coffee break | |
| 15:30 | 17:30 | Tutorial Laboratory - GeoCoq to formalize high-school geometry problems [GeoCoq] | Julien Narboux and Pierre Boutry |
| 17:30 | 18:00 | Guest Lecture - Application of Quantifier Elimination in Geometry | Žarko Mijajlović |
| 18:30 | 22:00 | Walking Tour and Cruise with Dinner Onboard | |
| 22 of September – Hotel Palace | |||
| 09:00 | 09:30 | Registration | |
| 09:30 | 12:30 | Session 5 - ADG - Chair Zoltán Kovács | |
| 09:30 | 10:00 | Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry | Pedro Quaresma, Pierluigi Graziani and Stefano Nicoletti |
| 10:00 | 10:30 | Theorem Discovery amongst Cyclic Polygons | Philip Todd |
| 10:30 | 11:00 | Coffee break | |
| 11:00 | 11:30 | Automatic Transformations of Coq Proof Scripts | Nicolas Magaud |
| 11:30 | 12:00 | Geometrically Analyzing the Equilibria of Parametric Biochemical Networks Admitting Linear Conservation Laws: Case Studies | Changbo Chen and Wenyuan Wu (presented by Jing Yang) |
| 12:00 | 12:30 | Improving Angular Speed Uniformity by Piecewise Radical Reparameterization | Hoon Hong, Dongming Wang and Jing Yang |
| 12:30 | 14:00 | Lunch | |
| 14:00 | 18:00 | Session 6 - ADG - Chair Pedro Quaresma | |
| 14:00 | 14:30 | The Companion and Bezout Subresultants of Two Bernstein Polynomials | Mei Tan and Jing Yang |
| 14:30 | 15:00 | Automated proof of Ramsey theorem via symbolic computation | Jian Lu, Zhenbing Zeng and Liangyu Chen |
| 15:00 | 16:00 | Business Meeting & Closing | Predrag Janičić & Pedro Quaresma & Zoltán Kovács |
| 16:00 | 16:30 | Coffee break | |
| 18:00 | 20:00 | Dinner (optional) | |
Proceedings
The book of abstracts in PDF format can be downloaded here.
A printed version of the proceedings will be provided to each participant in ADG 2023.