In Memory of Wen-tsün Wu
******************************************************************

CALL FOR PAPERS：ADG 2018

About ADG
=========
ADG is a forum dedicated to the exchange of ideas and views, to the
presentation of research results and progress, and to the demonstration
of software tools on the intersection between geometry, computation,
and automated reasoning. ADG organizes a workshop every two years.
The previous editions were held in Strasbourg (France) 2016, Coimbra
(Portugal) 2014, Edinburgh (UK) 2012, Munich (Germany) 2010, Shanghai
(China) 2008, Pontevedra (Spain) 2006, Gainesville (USA) 2004, Linz
(Austria) 2002, Zurich (Switzerland) 2000, Beijing (China) 1998, and
Toulouse (France) 1996.

The twelfth conference ADG 2018 will take place in Nanning, China, from
September 11 to September 14, 2018, in memory of Wen-tsün Wu, founder
of the Chinese school of mathematics mechanization.

Aim and Scope
=============
ADG 2018 aims at gathering researchers, engineers, and others interested
in exploring methods for automated reasoning and symbolic computation in
geometry, to discuss theoretical and practical challenges, and to present
recent research progress and results dedicated (not exhausted) in

Submission Guideline
====================
Original research papers in English, including experimental work and
work in progress, are welcome. The following two types of submissions
are invited:

(1) Full paper: maximum 20 pages
(2) Extended abstract addressing the following aspects explicitly:
- Problem: what is the problem/question/objective?
- Motivation: why do we work on the problem and 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?

If you have any problem with the submission of your paper, or questions
concerning ADG 2018 or EasyChair, please contact chenxiaoyu@buaa.edu.cn.
At least one author of each accepted submission must register at ADG 2018.

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/extended abstracts
accepted for presentation will be available at the conference. The authors of the
full papers/extended abstracts accepted for presentation at the conference will be
invited to submit their full and/or revised papers for publication in a formal
proceedings of ADG 2018 after the conference. The full papers (submitted after the
conference) will be formally reviewed by PC members and external referees. All
participants are encouraged to bring along posters on their work (irrespective
of whether it was presented at the conference or not) for display during ADG 2018.