Call for papers: GCR Geometric Constraints and Reasoning, Trento, Italy
Simon E.B. THIERRY
CFP: Geometric Constraints and Reasoning
is a Technical track of SAC2012
the 27th ACM Symposium on Applied Computing:
25 - 29 March 2012
The Microsoft Research, University of Trento
Trento, Italy.
http://www.lsi.upc.edu/~robert/gcr2012/gcr2012.html
http://oldwww.acm.org/conferences/sac/sac2012/
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
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
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