GCR 2012 - GCR'12 Geometric Constraints and Reasoning

Track Topics

Specific topics of interest for the GCR track include, but are not limited to, the following:
resolution of geometric constraints, with computer algebra, numerical analysis, interval analysis, logical approaches (e.g. provers), or new methods,
geometric theorem proving,
decomposition of systems of geometric constraints,
mixing geometric and non geometric constraints, white boxes, black boxes, geometric constraints and constraints programming,
detection of dependencies between constraints, debugging geometric constraints,
constrained curves, surfaces, blends,
"exotic" formulations of geometric constraints,
comparison of resolution methods or constraints formulations for the same problems,
mathematical background: combinatorial rigidity, graph theory, matroid theory, computer algebra,
detailed applications, in Computer Graphics, CAD-CAM, robotics, mechanism design, chemistry , photogrammetry, virtual reality,
sensitivity to value parameters, and other robustness issues,
choice of the "good" solution,
dynamic geometry, pedagogical purposes, generating explanations, examples, counter examples,
computer-human interfaces for geometric constraints,
geometric constraints and data exchange,
topological constraints, eg optimal curves or surfaces with prescribed, topology (homology, homotopy, isotopy), shape optimization,
geometric constraints and geometric representations (boundary representation, constructive solid geometry, features),
integration of geometric solvers into modelers, geometric solver industrial/market solutions
constraints versus features
reverse engineering and capture of designer intents
definition of new kinds of constraints (i.e.: topological constraints; ergonomic constraints; esthetic constraints; kinematic constraints; physical constraints; assembly-disassembly constraints) and how to manage them
persistent naming problem and geometric modeling by constraints
shorter submissions of demos, industrial experience or application papers

GCR 2012 will be an opportunity to gather several communities involved in geometric computing and reasoning:
geometric constraints solving, for CAD-CAM applications (dimensioning mechanical parts)
robotics
numerical analysis
interval analysis
dynamic geometry, pedagogical software packages, computer aided teaching of geometry
computer algebra
computer logic, rewriting systems, provers for geometric theorems
computer combinatorics

Submission Information for Authors

Authors are invited to submit original and unpublished work in the domain of GCR.
Submissions must be done according to the following guidelines:
Paper submission should be sent by 31 August 2011.
Manuscripts styles must follow the template that can be downloaded from http:www.acm.org/conferences/sac/sac2012/downloads12.htm
Before submitting the manuscript, authors must submit an abstract including the title of the paper, the abstract text, a maximum of five keywords selected among the topics of interest of the track, the name(s), affiliation(s), and address(es), email(s), phone(s) and fax(es) of the AUTHOR(S).
Manuscripts will be reviewed by at least three different referees according to a double blind peer review process. Therefore submitted papers should include in the first page just the title. Author(s) name(s) and address(es) must NOT appear in the paper body and self-references should be in the third person.
Camera ready manuscripts can have up to 6 pages. Up to two extra pages are allowed at a cost of 80USD per extra page.
Camera ready posters can have up to 2 pages. One extra page is allowed at a cost of 80USD.
Papers submitted to more than one track will be rejected without further consideration.

Important Due Dates

31 August 2011 : Paper Submission

12 October 2011 : Author Notification

2 November 2011 : Camera-ready copy of accepted papers

25-29 March 2012 : Track Sessions

http://www.lsi.upc.edu/~robert/gcr2012