The Coq mailing list

[Pedro Quaresma <pedro AT mat.uc.pt>]

Call for Extended Abstracts

ADG 2023

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, postponed from 2020 due to
COVID-19), 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 modeling, CAGD/CAD,
    computer vision, robotics and education.
    Automated Deduction in Non-Euclidean Geometries

    Artificial Intelligence methods in automated reasoning in geometry

Special Focus:

   This edition of ADG will have additional special focus topic: 
Deduction in Education

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).  If you have
    any problems with the submission of your abstract, or questions
    concerning ADG 2023 or EasyChair, please contact
    adg2023 AT 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 organized 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 Maric, University of Belgrade, Serbia
                     - Automatization, formalization and visualization 
of hyperbolic geometry
    Julien Narboux, University of Strasbourg, France
                     - TBA

General Chair:

    Predrag Janicic (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 Marinkovic

Program Committee (tentative):

    Francisco Botana, University of Vigo, Spain
    Jose Capco, RISC, Johannes Kepler University, Austria
    Xiaoyu Chen, Beihang University, China
    Thierry Dana-Picard (Jerusalem College of Technology, Israel) Good idea
    Jacques Fleuriot, University of Edinburgh, United Kingdom
    Fadoua Ghourabi, Ochanomizu University, Japan
    Georg Grasegger, The Johann Radon Institute for Computational and 
Applied Mathematics, Austria
    Tetsuo Ida, University of Tsukuba, Japan
    Claudia Nalon, University of Brasilia, Brazil.
    Pavel Pech, University of South Bohemia, České Budějovice, Czechia
    Tomas Recio, Universidad Antonio de Nebrija, Spain
    Pascal Schreck, University of Strasbourg, France
    Wolfgang Schreiner, RISC, Johannes Kepler University, Austria
    Ileana Streinu, Smith College, USA
    Dingkang Wang, Chinese Academy of Sciences, China
    Dongming Wang, Beihang University and Guangxi University for 
Nationalities, China
    Jing Yang, Guangxi University for Nationalities, China



--

At\'e breve;Deica Logo;\`A bient\^ot;See you later;Vidimo se;A tra poco;Do 
zobaczenia

Professor Pedro Quaresma
Mathematics Departament, Science and Technology Faculty
University of Coimbra
P-3001-454 COIMBRA, PORTUGAL
Elec. mail: pedro AT mat.uc.pt
webpage: http://www.mat.uc.pt/~pedro/
phone: +351 239 791 137; fax: +351 239 832 568