loading...

UC.PT

ADG 2006

Call for Papers

The workshop ADG 2006 is the main forum to exchange research ideas and views, to present research results and progress, and to demostrate software tools on the intersection between geometry and automated deduction. The main objective of this workshop is to encourage/promote/guide research efforts in the area in an informal setting.

Important Dates

Extended abstract/paper submission for presentation at the workshop:May 19 (Fri), 2006
Notification of acceptance or rejection:June 16 (Fri), 2006
Workshop taking place:August 31 - September 2, 2006

Specific topics for ADG 2006 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). No page limits.

  • 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 is required: PDF (preferred), Postscript, DVI.

  • It will be greatly appreciated if the submissions follow the standard Springer Proceedings format (llncs.cls, contained in llncs2e.zip) as described here. For convenience, a template has been created (.pdf file, .tex file.)

  • Send your contribution to the PC chair Tomas Recio by email to adg2006@uvigo.es.

  • The email subject line should be "ADG 2006 Submission"

  • The email body must contain the title of the submission and the contact author's

    • Status:
    • First Name:
    • Middle Initial:
    • Last Name:
    • Email Address:
    • Telephone Number:
    • Fax Number:
    • Institution:
    • Postal Address:
  • Submit it by May 19, 2006.

Refereeing

  • 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.

Publication

  • Extended abstracts or full papers accepted for presentation at the workshop will be available during the meeting, published as an internal document for the participants.
  • 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 2006 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 Artificial Intelligence (LNAI) series.
  • The proceedings of ADG 1996, ADG 1998, ADG 2000, ADG 2002 and ADG 2004 appeared as LNAI 1360, LNAI 1669, LNAI 2061, LNAI 2930 and LNAI 3763 respectively.