[Serbian-AI] Automated Deduction in Geometry ADG 2023: Call for Papers

Postovane koleginice i kolege,

Prosledjujemo vam poziv za konferenciju Automated Deduction in
Geometry (ADG 2023) koja ce se ove godine po prvi put organizovati u
Beogradu, u organizaciji Grupe za automatsko rezonovanje Matematickog
fakulteta u Beogradu. Pozivamo sve zainteresovane koleginice i kolege
da ucestvuju u radu konferencije (sa ili bez prijavljenog rada).

Srdacan pozdrav,
Vesna Marinkovic i Predrag Janicic

-------------------------------------------

ADG 2023 -- 2nd call for papers
Fourteenth International Conference on Automated Deduction in Geometry
September 20-22, 2023, Belgrade, Serbia
https://adg2023.matf.bg.ac.rs/

Overview:

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), 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, Zürich in 2000, Beijing in 1998,
and Toulouse in 1996.

The 14th edition, ADG 2023, will be held, September 20-22, 2023, in
Belgrade, Serbia.

Scope:

Relevant topics include (but are not limited to):
* Polynomial algebra, invariant and coordinate-free methods.
* Probabilistic, synthetic, and logic approaches, techniques for
automated geometric reasoning from discrete mathematics,
combinatorics, and numeric.
* Interactive theorem proving in geometry.
* Symbolic and numeric methods for geometric computation, geometric
constraint solving, automated generation/reasoning and
manipulation with diagrams.
* Design and implementation of geometry software, automated theorem
provers, special-purpose tools, experimental studies.
* Applications of ADG in mechanics, geometric modelling, CAGD/CAD,
computer vision, robotics and education.
* Automated Deduction in Non-Euclidean Geometries.
* Artificial Intelligence methods in automated reasoning in geometry.
* Applications in Education of Automated Deduction in Geometry
Special Track -- a one day workshop integrated in the ADG program --
following the footsteps of ICMI19 study "Proof and Proving in
Mathematics Education", this workshop will explore applications,
in an educational setting, of automated deduction in geometry:
   - the exploration of environments where Dynamic Geometry
   System (DGS) and Geometry Automated-Theorem-Provers GATP
   are combined,
   - the many relations/problems/opportunities that raise from
   the use of the DGS in education, when related to informal
   and formal proofs.

Submission Guidelines:

We invite submission of extended abstracts (3 to 12 pages).

The submissions abstracts must address the following aspects explicitly.
Problem: What is the problem/question/objective?
Motivation: Why do we work on the problem? What is the importance?
State of the Art: What has been done already on the problem?
Contribution: What is the main original contribution?
Main Idea: What is the main idea underlying the contribution?

The submissions should follow the standard Springer LNCS Proceedings format.

Extended abstracts are to be submitted as PDF via EasyChair (at
http://www.easychair.org/conferences/?conf=adg2023
<http://www.easychair.org/conferences/?conf=adg2023>).  If you have any
problems with the submission of your abstract, or questions  concerning
ADG 2023 or EasyChair, please contactadg2023@easychair.org.

Refereeing and Publication:

* The submitted extended abstracts will be reviewed by the Program
Committee.
* Informal proceedings (of abstracts accepted for presentation) in printed
form will be available at the conference. Also, informal proceedings in
digital form will be available from the conference web page. The authors
are free to submit their abstracts for publication in other forums.
* The authors of extended abstracts accepted for presentation at the
conference will be invited to submit their full papers for publication in
formal post proceedings of ADG 2023 after the conference. A special issue
in Annals of Mathematics and Artificial Intelligence (AMAI) was organised
for ADG 2021, former post-proceedings for ADG appeared as special issues
of Lecture Notes in Artificial Intelligence (LNAI).

* All participants are encouraged to bring along posters on their
geometric work (irrespective of whether it is to be presented at the
conference) for display during ADG 2023.

Important Dates:

* June 5: extended abstracts submission
* July 3: notification of acceptance
* September 4: final version due

* September 20-22: ADG 2023

Invited Speakers:
* Zlatan Magajna, University of Ljubljana, Slovenia:
Workshop OK Geometry
* Filip Marić, University of Belgrade, Serbia:
Automatisation, Formalisation and visualisation of hyperbolic geometry
* Julien Narboux, University of Strasbourg, France:
Formalisation, arithmetization and automatisation of geometry

General Chair:
* Predrag Janičić (University of Belgrade, Serbia)

Program Committee Chair:
* Pedro Quaresma (University of Coimbra, Portugal)
* Zoltán Kovács (JKU Linz School of Education, Austria)

Local Chair:
* Vesna Marinković (University of Belgrade, Serbia)

Program Committee:
* Francisco Botana (University of Vigo, Spain)
* Xiaoyu Chen (Beihang University, China)
* Thierry Dana-Picard (Jerusalem College of Technology, Israel)
* Jacques Fleuriot (University of Edinburgh, UK)
* Tetsuo Ida (University of Tsukuba, Japan)
* Filip Marić (University of Belgrade, Serbia)
* Claudia Nalon (University of Brasilia, Brazil)
* Pavel Pech (University of South Bohemia, České Budějovice, Czechia)
* Tomás Recio (Universidad Antonio de Nebrija, Spain)
* Vanda Santos (University of Aveiro, Portugal)
* Ileana Streinu (Smith College, USA)
* Steven Van Vaerenbergh (University of Cantabria, Spain)
* María Pilar Vélez (Universidad Nebrija, Spain)
* Dingkang Wang (Chinese Academy of Sciences, China)
* Dongming Wang (Beihang University and Guangxi University for
Nationalities, China)
* Jing Yang (Guangxi University for Nationalities, China)