ADG2018: 12th International Conference on Automated Deduction in Geometry Nanning, China Nanning, China, September 11-14, 2018 |
Conference website | http://adg2018.cc4cm.org/ |
Submission link | https://easychair.org/conferences/?conf=adg2018 |
Abstract registration deadline | May 25, 2018 |
Submission deadline | May 25, 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.
Submission Guidelines
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?
Submissions should follow the standard Springer LNCS Proceedings format.
Electronic submission as PDF is required via EasyChair at
http://www.easychair.org/conferences/?conf=adg2018.
List of Topics
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
- 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 modeling, CAGD/CAD, computer
vision, robotics, and education.
Committees
Program Committee
- Hongbo Li (Chinese Academy of Sciences, China), Chair
- Francisco Botana (University of Vigo, Spain)
- Falai Chen (University of Science and Technology of China, China)
- Xiaoyu Chen (Beihang University, China)
- Yong Feng (Chinese Academy of Sciences, China)
- Lei Huang (Chinese Academy of Sciences, China)
- Hoon Hong (North Carolina State University, USA)
- Tetsuo Ida (University of Tsukuba, Japan)
- Predrag Janičić (University of Belgrade, Serbia)
- Na Lei (Dalian University of Technology, China)
- Zhuojun Liu (Chinese Academy of Sciences, China)
- Julien Narboux (University of Strasbourg, France)
- Pedro Quaresma (University of Coimbra, Portugal)
- Tomás Recio (University of Cantabria, Spain)
- Ileana Streinu (Smith College, USA)
- Thomas Sturm (LORIA Nancy, France)
- Dingkang Wang (Chinese Academy of Sciences, China)
- Chee K. Yap (New York University, USA)
Organizing committee
Local Arrangements
- Xiaoyu Chen (Beihang University, China)
- Jing Yang (Guangxi University for Nationalities, China)
Publicity and Webmaster
- Fadoua Ghourabi (Ochanomizu University, Japan)
Invited Speakers
- Jacques Fleuriot (University of Edinburgh, UK)
- Xiao-Shan Gao (Chinese Academy of Sciences, China)
- Pascal Schreck (University of Strasbourg, France)
- Chuanming Zong (Tianjin University, China)
Publication
ADG2018 proceedings will be published
in Springer Lecture Notes in Artificial Intelligence (LNAI) series or Lecture Notes in Computer Science (LNCS) series
Venue
The conference will be held in Nanning, China
Contact
All questions about submissions should be emailed to chenxiaoyu@buaa.edu.cn