[isabelle] ADG 2016 CFP - Automated Deduction in Geometry, Strasbourg, June, 27-29

[Please accept our apologies if you receive multiple copies of this
Call for Papers (CFP)]


ADG 2016
Eleventh International Workshop on Automated Deduction in Geometry
Strasbourg, June, 27-29


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 workshop is
held every two years. The previous editions of ADG were held in
Coimbra in 2014, Edinburgh in 2012, Munich in 2010, Shanghai in 2008,
Pontevedra in 2006, Gainesville in 2004, Hagenberg in 2002, Zurich in
2000, Beijing in 1998, and Toulouse in 1996. The 11th edition, ADG
2016, will be held in Strasbourg, France, June 27 â 29, 2016.


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 numerics;

- symbolic and numeric methods for geometric computation, geometric
constraint solving, automated generation/reasoning and manipulation
with diagrams;

- design and implementation of geometry software, special-purpose
tools, automated theorem provers, experimental studies;

- applications of ADG to mechanics, geometric modelling, CAGD/CAD,
computer vision, robotics and education.

Submission Guidelines:

We invite the following types of submissions:

- Extended abstracts
- Full paper (maximum 20 pages)

The extended 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.

Electronic submission as PDF is required via EasyChair (at

If you have any problems with the submission of your paper, or
questions concerning ADG 2016 or EasyChair, please contact
adg2016 at easychair.org.

Refereeing and Publication:

The submitted contributions will be subject to a summary review by the
Program Committee, bearing in mind that this first review is mainly
for presentation, NOT for publication.

Digital publication of the full papers accepted for presentation will
be available at the workshop.

The authors of the full papers accepted for presentation at the
workshop will be to submit their full and/or revised papers for
publication in a formal proceedings of ADG 2016 after the workshop.

The full papers (submitted after the meeting) will be formally
reviewed by PC members and external referees.

All participants are encouraged to bring along posters on their
geometric work (irrespective of whether it was presented at the
workshop or not) for display during ADG 2016.

The accepted full papers will be published in the Springer Lecture
Notes in Artificial Intelligence (LNAI) series or Lecture Notes in
Computer Science (LNCS) series.

The proceedings of ADG 1996, ADG 1998, ADG 2000, ADG 2002, and ADG
2004, ADG 2006,  ADG 2010, ADG 2012 and ADG 2014 appeared as LNAI
1360, LNAI 1669, LNAI 2061, LNAI 2930, LNAI 3763, LNAI 4869, LNCS
6877, LNAI 7993 and LNAI 9201 respectively.

Invited Speakers:

to be confirmed

Important Dates:
April 22 short abstract submission
April 25 deadline for extended abstract or full paper submission
Mai 23 notification of acceptance
June 6 final version due
June 6 early registration
June 27 ADG

Program Committee

Chair: Ileana Streinu (USA)

Michael Beeson (USA)
Francisco Botana (Spain)
John Bowers (USA)
Xiaoyu Chen (China)
Xiao-Shan Gao (China)
Tetsuo Ida (China)
Filip Maric (Serbia)
Pascal Mathis (France)
Julien Narboux (France)
Pavel Pech (Portugal)
Pedro Quaresma (Portugal)
Tomas Recio (Spain)
Pascal Schreck (France)
Dongming Wang (China)
Bican Xia (China)

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.