ADG Foundation
The association, whose activities are not aimed at generating profit, aims to promote
science and technology in the field of computer supported reasoning in geometry by:
- Representing the interests of those involved in research and teaching,
- promoting knowledge and application of algorithms and software for automated geometric reasoning,
- developing and expanding the subject area.
A key objective of the association is to organize the ADG (Automated Deduction in Geometry) Conference.
The Working Group on Automated Deduction in Geometry is an independent, politically neutral,
non-profit professional association.
It is based at the Private University of Education, Diocese Linz,
Institute for Education, Salesianumweg 3, A-4020 Linz, and operates worldwide,
under permission number ZVR 1623308211 (registered in Austria).
General information
- Statutes (version 11 November 2024): English, German
- Board (extract from the register), members, steering committee
- Registration form to apply for membership (or revoke it), Google Group adg-community, Discord channel
- Last ADG conference (Belgrade, 2023), previous ADG conferences
- GitHub page of ADG Foundation
News
- ADG 2025 conference homepage
- CADE-30 conference (2025, Stuttgart, Germany)
- Google Summer of Code 2025
Older news
- Agenda of the general assembly on 14 of February 2025, 16 of December 2024
|
ADG Foundation (Arbeitskreis zur Automatisierten Deduktion in der Geometrie) A-4020 Linz, Salesianumweg 3 |