SAC 2009

For the past twenty-two years, the ACM Symposium on Applied Computing (SAC) has been a primary and international forum for applied computer scientists, computer engineers and application developers to gather, interact, and present their work. The ACM Special Interest Group on Applied Computing (SIGAPP) is the sole sponsor of SAC. The conference proceedings are published by ACM and are also available online through ACM's Digital Library.

The 24th Annual SAC meeting will be held 8-12 March 2009 in Honolulu, Hawaii, USA, and is hosted by the University of Hawaii at Manoa and Chaminade University of Honolulu . More information about SIGAPP can be found at http://www.acm.org/sigapp. and on past anc currectt SAC events can be found at the URL http://www.acm.org/conferences/sac .

Overview

Geometric Computing and Reasoning (GCR) is a recent track of SAC. This year will see its fourth edition Its first edition hold in Dijon (France) in the framework of SAC2006. The second edition was hold in Seoul (Korea) inside SAC2007. The third edition took place in Fortaleza, Brazil, inside SAC2008.
GCR is devoted to the recent trends in the domain of geometric constraint solving (GCS) and automated, or computer aided, deduction in geometry (ADG). Geometric problems are within the heart of many theoretical studies and engineering applications. For instance, many problems from geometric modeling, computer graphics, computer vision, computer aided design, and robotics could be reduced to either geometric constraint solving or geometric reasoning. And, conversely, a great variety of methods following very different approaches have been studied for solving geometric constraints and for proving geometric theorems.
This track will be a great opportunity to gather researchers coming from communities concerned by subjects as different as constraint programming, numeric analysis, CAD, theorem proving and computer graphics.

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

Journal Publication

Authors of selected papers of outstanding quality that have been presented at GCR'09 will be invited to submit a full length version to a special issue of Computational Geometry: Theory and Applications

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 DEADLINE EXTENDED TO AUGUST 23, 2008
• Paper submission should be sent by 16 August 2008.
  
• Manuscripts styles must follow the template that can be downloaded from http:www.acm.org/conferences/sac/sac2009/downloads09.htm
• Submissions will be in electronic format, via the website http://sac.cs.iupui.edu/SAC2009/ Please contact Jeff Allen (jallen AT cs DOT iupui DOT edu) for any problems with the system.
• 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 5 pages. Up to three extra pages are allowed at a cost of 80USD per extra page.
• Papers submitted to more than one track will be rejected without further consideration.

Important Dates

16 Aug 2008 : Papers submissions

extended to 23 Aug 2008 : Papers submissions

11 Oct 2008 : Author notification

8-12 March 2009 : Track Sessions

Final Program

Track Schedule and Presentations

• Tuesday March 10, 2009
  
• The Final Program is posted here

GCR Track Papers

1. Formalizing Desargues's Theorem in Coq Using Ranks
   Nicolas Magaud, Université de Strasbourg, France
   Julien Narboux, Université de Strasbourg, France
   Pascal Schreck, Université de Strasbourg, France
   
2. Infinite Bar-Joint Frameworks
   J.C. Owen, D-Cubed, Seimens PLM Software Ltd., United Kingdom
   S.C. Power, Lancaster University, United Kingdom
   
3. Characterizing 1-Dof Henneberg-I Graphs with Efficient Configuration Spaces
   Heping Gao, Universtiy of Florida, USA
   Meera Sitharam, University of Florida, USA
   
4. Body-and-Cad Geometric Constraint Systems
   Kirk Haller, SolidWorks Corporation, USA
   Audrey Lee-St. John, Mount Holyoke College, USA
   Meera Sitharam, University of Florida, USA
   Ileana Streinu, Smith College, USA
   Neil White, University of Florida, USA
   
5. Origami Fold as Algebraic Graph Rewriting
   Tetsuo Ida, University of Tsukuba, Japan
   Hidekazu Takahashi, University of Tsukuba, Japan
   

GCR Track Posters

1. The Unique Solution for P3P Problem
   Jianliang Tang, College of Mathematics and Computing Science, Shenzhen University, China
   Nengzeng Liu, College of Mathematics & Computing Science, Shenzhen University, China
   
2. Topology Determination and Isolation for Implicit Plane Curves
   Jin-San Cheng, Chinese Academy of Sciences, China
   Xiao-Shan Gao, Chinese Academy of Sciences, China
   Jia Li, Chinese Academy of Sciences, China
   
3. Multivariate Root Finding with Search Space Decomposition and Randomisation
   Markus Färber, Technische Universität Ilmenau, Germany
   Beat Brüderlin, Technische Universität Ilmenau, Germany
   

Organization

Organizing Committee

Xiao-Shan Gao
Institute of Systems Science, Chinese Academy of Sciences.
Beijin, China.
email: xgao@mmrc.iss.ac.cn

Robert Joan-Arinyo
Universitat Politècnica de Catalunya
Barcelona, Catalonia.
email: robert@lsi.upc.edu

Dominique Michelucci
Université de Bourgogne
Dijon, France.
email: Dominique.Michelucci@u-bourgogne.fr

Program Committee