[Om] Call for Papers ADG 2014

Miguel Á. Abánades abanades at ajz.ucm.es
Fri Nov 15 18:01:54 CET 2013

[Apologies for multiple copies of this announcement]

Call for Papers

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

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


    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.


    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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://openmath.org/pipermail/om/attachments/20131115/79a3ba4a/attachment.html>

More information about the Om mailing list