ADG Foundation – Previous Conferences
| Year | Location, Country | Proceedings | Post-Proceedings | Special issues |
|---|---|---|---|---|
| 2023 mirror | Belgrade, Serbia | EPTCS 398 | AMAI S804 (in preparation) | |
| 2021 mirror | Hagenberg, Austria (online) | EPTCS 352 | AMAI 91(6) | |
| 2018 mirror | Nanning, China | Proceedings | MCS 14(4) | |
| 2016 | Strasbourg, France | Proceedings | AMAI 85(2-4) | |
| 2014 | Coimbra, Portugal | Proceedings | LNAI 9201 | |
| 2012 WBM mirror | Edinburgh, UK | Proceedings | LNAI 7993 | |
| 2010 | Munich, Germany | Proceedings | LNAI 6877 | |
| 2008 mirror | Shanghai, China | LNAI 6301 | ||
| 2006 | Pontevedra, Spain | LNAI 4869 | ||
| 2004 | Gainesville, USA | LNAI 3763 | ||
| 2002 mirror | Hagenberg, Austria | LNAI 2930 | ||
| 2000 WBM mirror | Zurich, Switzerland | LNAI 2061 | ||
| 1998 WBM mirror | Beijing, China | LNAI 1669 | ||
| 1996 WBM mirror | Toulouse, France | LNAI 1360 |
|
ADG Foundation (Arbeitskreis zur Automatisierten Deduktion in der Geometrie) A-4020 Linz, Salesianumweg 3 |