Call for papers
Geometric Constraints and Reasoning
a technical track of
The International ACM Symposium on Applied Computing
SAC2011
Tunghai University, Taichung, Taiwan
Monday March 21 - Friday March 25, 2011
Geometric Constraints and Reasoning (GCR) is a technical track of the
International Symposium on Applied Computing (see
http://www.acm.org/conferences/sac/sac2011). For the past twentyone
years the ACM Symposium on Applied Computing (SAC) has been a primary
forum for applied computer scientists, computer engineers and
application developers to gather, interact, and present their
work. SAC is sponsored by the ACM Special Interest Group on Applied
Computing (SIGAPP), its proceedings are published by ACM in both
printed form and CD-ROM; they are also available on the web through
ACM's Digital Library. More information about SIGAPP and past SACs can
be found at URL:
http://www.acm.org/sigapp.
As a special track of SAC, the GCR is devoted to geometric reasoning
taken in a broad sense. Initially, this track focused on geometric
constraint solving but it appears that geometric computing and
reasoning is closely related to this topic. Our aim is then to widen
the audience and to make GCR a place where the communities of
geometric constraint solving, computer aided deduction in geometry
and related disciplines can meet and have fruitful exchanges.
Visit
http://www.lsi.upc.edu/~robert/gcr2011/gcr2011.html SAC 2011 is also an opportunity to attend tracks related to GCR, about
combinatorial optimization, constraint programming (non geometrical
constraints), graph algorithms, numerical methods or interval
analysis, etc.
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
other
methods.
* Proving geometric theorems with logical approaches, deductive
databases,
Computer Algebra, etc.
* Decomposition of systems of geometric constraints.
* Mixing geometric and non geometric constraints (combinatorial or
logical),
white boxes, black boxes, geometric constraints and constraints
programming.
* Detection of dependences between constraints, debugging geometric
constraints.
* Constrained curves, surfaces, blends.
* Exotic (eg non cartesian) formulations of constraints.
* Comparison of resolution methods or constraints formulations for
the same problems.
* Mathematical background: combinatorial rigidity, graph theory,
matroid theory, computer algebra (polynomial systems, dimension of
ideals).
* Applications in Computer Graphics, CAD-CAM, robotics,
mechanism design, chemistry (eg molecule configurations),
photogrammetry,
virtual reality.
* Sensitivity to parameters values and other robustness issues,
* 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.
* Integration of geometric solvers into modelers, solvers architecture.
* Geometric constraints and Human Computer interaction.
* Persistent naming problem and geometric modeling by constraints.
Authors are invited to contribute original papers in the listed or
other realted topics in the following categories of submissions:
1) Original and unpublished research work.
2) Reports of innovative applications to the arts, sciences,
engineering, and business areas.
3) Reports of successful technology transfer to new problem domains.
4) Reports of industrial experience and demos of new innovative systems.
All submissions will be peer reviewed. Papers will be selected based on
their originality, timeliness, significance relevance and clarity of
presentation.
IMPORTANT DATES
* extended to August 31, 2010 : Paper submissions
* September 21, 2010 : Authors notification
* November 2, 2010 : Camera-ready copy of accepted papers
* March 21-15 2010: Track Sessions
GUIDELINES FOR SUBMISSION
* Use the format downloadable from SAC 2011 website.
* Submit papers using the SAC 2010 paper submission system at
http://www.acm.org/conferences/sac/sac2011 * Papers submitted to more than one track will be rejected.
* Please, take into account the guidelines for authors. For instance,
camera ready manuscripts can have up to 6 pages. Up to two extra
pages are allowed at a cost of 80USD per extra page for authors.
TRACK CHAIRS
* Xiao-Shan Gao:
This e-mail address is being protected from spambots. You need JavaScript enabled to view it
* Robert Joan-Arinyo:
This e-mail address is being protected from spambots. You need JavaScript enabled to view it
* Dominique Michelucci:
This e-mail address is being protected from spambots. You need JavaScript enabled to view it
