[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] ADG Post-Proceedings



     Call for Papers 
                       Post-conference Proceedings
                Automated Deduction in Geometry (ADG 2012)
                 http://dream.inf.ed.ac.uk/events/adg2012

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 post-conference proceedings of ADG 2012 will be published in the LNCS/LNAI series by 
Springer-Verlag. You are invited to submit original research papers (of 10-20 pages) for 
possible publication. Your contributions have to be within the scope of ADG, but their 
contents do not necessarily have to be related to the presentations made at ADG 2012. 
Moreover, contributions from authors who were not present at ADG 2012 are also welcome.

All submissions will be formally reviewed according to the usual standard of international 
conferences. 

SCOPE

Relevant topics include (but are not limited to):
* polynomial algebra, invariant and coordinate-free methods, probabilistic, 
  synthetic, and logical 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 submission of full papers from 10 to a maximum of 20 pages.
* The submissions should follow the standard LaTeX2e format for Springer LNCS Proceedings 
 and Other Multiauthor Volumes available at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0.
* Electronic submission is required via EasyChair 
 at https://www.easychair.org/conferences/?conf=lnaiadg2012.
* If you have any problems with the submission of your paper, or questions concerning 
  ADG 2012 or EasyChair, please contact lnaiadg2012@xxxxxxxxxxxxx.

IMPORTANT DATES

* Paper submission: 17 February 2013.
* Notification of acceptance: 22 March 2013.
* Final paper submission: 5 April 2013.

EDITORS

* Tetsuo Ida, University of Tsukuba, Japan.
* Jacques Fleuriot, University of Edinburgh, UK.

PROGRAM COMMITTEE

* Tetsuo Ida, University of Tsukuba, Japan.
* Hirokazu Anai, Fujitsu Laboratories Ltd/Kyushu University, Japan
* Francisco Botana, University of Vigo, Spain.
* Xiaoyu Chen, Beihang University, China.
* Giorgio Dalzotto, University of Pisa, Italy.
* Jacques Fleuriot, University of Edinburgh, UK.
* Laureano Gonzalez-Vega, University of Cantabria, Spain.
* Hoon Hong, North Carolina State University, USA.
* Andres Iglesias Prieto, University of Cantabria, Spain.
* Predrag Janicic, University of Belgrade, Serbia.
* Deepak Kapur, University of New Mexico, USA.
* Ulrich Kortenkamp, Martin-Luther-Universität Halle-Wittenberg, Germany.
* Shuichi Moritsugu, University of Tsukuba, Japan.
* Julien Narboux, University of Strasbourg, France.
* Pavel Pech, University of South Bohemia, Czech Republic.
* Tomas Recio,  University of Cantabria, Spain.
* Georg Regensburger, Inria Saclay – Île-de-France, France.
* Jürgen Richter-Gebert, TU Munich, Germany.
* Pascal Schreck, University of Strasbourg, France.
* Meera Sitharam, University of Florida, USA.
* Thomas Sturm, Max Planck Institute, Germany.