ADG 2014

Tenth International Workshop on Automated Deduction in Geometry

Coimbra

Submissions:
Jun 22, 2014

http://www.uc.pt/en/congressos/adg/adg2014

—————————————————————-
Call for Papers

ADG 2014
Tenth International Workshop
on
Automated Deduction in Geometry
9-11 July 2014
Coimbra, Portugal

http://www.uc.pt/en/congressos/adg/adg2014

——————————————————————–

ADG (Automated Deduction in Geometry) 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 and automated deduction. ADG organizes a workshop every two years. The previous editions were held in Edinburgh (UK) 2012, Munich (Germany) 2010, Shanghaï (China) 2008, Pontevedra (Spain) 2006, Gainesville (USA) 2004, Linz (Austria) 2002, Zurich (Switzerland) 2000, Beijing (China) 1998, and Toulouse (France) 1996.

The tenth workshop ADG 2014 will be hosted in Coimbra, Portugal, by the University of Coimbra, from 9 July to 11 July, 2014. The homepage for this edition is at http://www.uc.pt/en/congresso/adg/adg2014

ADG is now calling for contributions, in the form of extended abstracts or full papers (<=20 Pages), to be submitted before 4 May 2014, via EasyChair.. Notification of acceptance or rejection will be issued by 8 June 2014. Important Dates ——————— Extended abstract/paper submission for presentation at the workshop: 4 May 2014 Notification of acceptance or rejection: 8 June 2014 Final submission: 22 June 2014 Early Registration deadline: 22 June 2014 Workshop taking place: 9-11 July 2014 Specific topics for ADG 2014 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 modeling, CAGD/CAD, computer vision, robotics and education. Submission Guidelines —————————– Extended abstracts (or full papers if you wish). (<=20 pages, ask if greater). The extended abstracts (or the introduction of the full papers) 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”? Electronic submission as PDF is required. It will be greatly appreciated if the submissions follow the standard Springer Proceedings format llncs.cls. Submit your contribution via our paper submission page at EasyChair. Refereeing ————– The submitted contributions will be subject to a summary review by the Programme Committee, bearing in mind that this first review is mainly for presentation, not for publication. Publication ————– Extended abstracts or full papers accepted for presentation at the workshop will be available during the meeting, published as a Technical Report in CISUC Technical Report series (ISSN 0874-338X). We plan to ask the authors of the extended abstracts (and possibly full papers) accepted for presentation at the workshop to submit their full and/or revised papers for publication in some formal proceedings of ADG 2014 after the workshop. The full papers (submitted after the meeting) will be formally reviewed by PC members and external referees. It is expected that the accepted full papers will be published as a special issue of some journal or in the Springer Lecture Notes in Computer Science, Artificial Intelligence subseries. The proceedings of ADG 1996, ADG 1998, ADG 2000, ADG 2002, ADG 2004, ADG 2006, ADG 2008, ADG 2010 and ADG 2012 appeared as LNCS 1360, LNCS 1669, LNCS 2061, LNCS 2930, LNCS 3763, LNCS 4869, LNCS 6301, LNCS 6877 and LNCS 7993 respectively. _______________________________________________ projects-mkm-ig mailing list projects-mkm-ig@lists.jacobs-university.de http://lists.jacobs-university.de/mailman/listinfo/projects-mkm-ig

Some Tags: automated deduction, International, software tools, geometry, Software, Workshop

Leave a Reply

  

  

  

You can use these HTML tags

<a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>