[ADG2014]: Cfp (Extension to May 11, 2014)

[Miguel Á. Abánades]

[Apologies for multiple copies of this announcement]

----------------------------------------------------------------
Final 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:
11 May 2014 (extended)
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.