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