<div dir="ltr"><div style="text-align:center">----------------------------------------------------------------<br>Call for Papers <br><br>Post-conference Proceedings<br></div><div style="text-align:center"><span style="color:rgb(255,0,0)">Extended deadline: 2015/02/13</span></div><div style="text-align:center"><br>Automated Deduction in Geometry (ADG 2014)<br><a href="http://www.uc.pt/en/congressos/adg/adg2014" target="_blank">http://www.uc.pt/en/congressos/adg/adg2014</a><br>--------------------------------------------------------------------<br>


</div><br><b>OVERVIEW</b><br><br>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.<br><br>The post-conference proceedings of ADG 2014 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 2014. Moreover, contributions from authors who
 were not present at ADG 2014 are also welcome.<br><br>All submissions will be formally reviewed according to the usual standard of international conferences.<br><br><b>SCOPE</b><br><br>Relevant topics include (but are not limited to):<br><br>polynomial
 algebra, invariant and coordinate-free methods, probabilistic, 
synthetic, and logical approaches, techniques for automated geometric 
reasoning from discrete mathematics, combinatorics, and numerics;<br><br>symbolic
 and numeric methods for geometric computation, geometric constraint 
solving, automated generation/reasoning and manipulation with diagrams;<br><br>design and implementation of geometry software, special-purpose tools, automated theorem provers, experimental studies;<br><br>applications of ADG to mechanics, geometric modelling, CAGD/CAD, computer vision, robotics, and education.<br><br><b><br>SUBMISSION GUIDELINES</b><br><br>We invite the submission of full papers up to 20 pages.<br><br>The
 submissions should follow the standard LaTeX2e format for Springer LNCS
 Proceedings  and Other Multiauthor Volumes available here;<br><br>Electronic submission is required via EasyChair (Easychair track, ADG 2014 post-proceedings).<br><br>Note
 that submissions go through a new Easychair track, ADG 2014 
post-proceedings. Please, do not remove your old submission, if any.<br><br>If
 you have any problems with the submission of your paper, or questions 
concerning ADG 2014 or EasyChair, please contact any of the editors.<br><br><br><b>IMPORTANT DATES</b><br><br>Submission: <span style="color:rgb(255,0,0)">2015/02/13</span><br>Reviews sent to authors: 2015/03/20 <br>Revised papers due: 2015/03/27 <br>Final Decision: 2015/04/03 <br>Camera ready copies due: 2015/04/17<br><br><br><b>EDITORS</b><br><br>* Francisco Botana, University of Vigo, Spain.<br>* Pedro Quaresma, University of Coimbra, Portugal.<br><br><b>PROGRAM COMMITTEE</b><br><br>* Francisco Botana, University of Vigo, Spain (Chair)<br>* Hirokazu Anai, Fujitsu Laboratories Ltd/Kyushu University, Japan<br>* Xiaoyu Chen, Beihang University, China<br>* Giorgio Dalzotto, ISI N. Machiavelli, Italy.<br>* Jacques Fleuriot, University of Edinburgh, UK<br>* Xiao-Shan Gao, Chinese Academy of Sciences, China<br>* Tetsuo Ida, University of Tsukuba, Japan<br>* Predrag Janicic, University of Belgrade, Serbia<br>* Ulrich Kortenkamp, Martin-Luther-Universität Halle-Wittenberg, Germany<br>* Shuichi Moritsugu, University of Tsukuba, Japan<br>* Julien Narboux, University of Strasbourg, France<br>* Pavel Pech, University of South Bohemia, Czech Republic<br>* Pedro Quaresma, University of Coimbra, Portugal<br>* Eugenio Roanes-Lozano, Complutense University of Madrid, Spain<br>* Pascal Schreck, University of Strasbourg, France<br>* Meera Sitharam, University of Florida, USA<br>* Thomas Sturm, Max Planck Institute, Germany<br>* Dingkang Wang, Chinese Academy of Sciences, China<br>* Dongming Wang, Beihang University, China and UPMC-CNRS, France<br><br><br></div>