SAC 2010

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 25th Annual SAC meeting will be held 22-26 March 2010 in Serre, Switzerland and is hosted by the University of Applied Sciences, Western Switzerland and Ecole Polytechnique Fédéral de Lausanne.

More information about SIGAPP can be found at http://www.acm.org/sigapp and on past and current 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 fifth edition. Previous editions were held in Dijon (France), in Seoul (Korea), in Fortaleza, Brazil, and Hawaii (USA). 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 2010 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 DEADLINE EXTENDED TO SEPTEMBER 15, 2009
• Paper submission should be sent by 8 September 2009.
  
• Manuscripts styles must follow the template that can be downloaded from http:www.acm.org/conferences/sac/sac2010/downloads10.htm
• Submissions will be in electronic format, via the website http://sac.cs.iupui.edu/SAC2010/ 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

PAPER SUBMISSION DEADLINE EXTENDED TO SEPTEMBER 15, 2009

8 Septembre 2009 : Papers submission

19 October 2009 : Author notification

2 November 2009 : Camera-ready copy of accepted papers

22-26 March 2010 : Track Sessions

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

==============================================================================

COMPUTATIONAL GEOMETRY: THEORY AND APPLICATIONS

Call for Papers
Special Issue
Geometric Constraints and Reasoning
============================================================================== Xiao-Shan Gao
Chinese Academy of Sciences
xgao@mmrc.iss.ac.cn

Robert Joan-Arinyo
Universitat Politècnica de Catalunya
robert@lsi.upc.edu

Dominique Michelucci
Université de Bourgogne
Dominique.Michelucci@u-bourgogne.fr
==============================================================================

Geometric Constraints and Reasoning is at the heart of many theoretical studies and engineering applications. For instance, many problems from geometric modeling, computer graphics, computer vision, computer aided design, robotics, and molecular design can be reduced to problems based on geometric constraint solving and computer-aided deduction and reasoning in geometry. Conversely, a great variety of methods following approaches borrowed from very different fields have been applied in geometric constraint solving and in geometric theorems proving.

The number of papers on geometric constraint solving and automated reasoning in geometry in today's journals and conferences is steadily growing. Therefore, our aim is to provide a place where researchers from different communities which share the subject can present their different perspectives on open problems and propose solutions for them and offer improved solutions to problems so far deficiently solved.

This special issue will also build on the fourth edition of the technical track Geometric Constraints and Reasoning in the 24th Annual ACM Symposium on Applied Computing, held in March 8-12, 2009, Honolulu, Hawaii, USA, which dealt with the same topics. The response was over 20 paper submissions.

We welcome submissions of papers in all aspects of Geometric Constraints and Reasoning. Topics include but are not limited to:

• Mathematical background: combinatorial rigidity, graph theory, matroid theory, computer algebra.
• Geometric constraint solving: methods and techniques.
• Geometric theorem proving.
• Constraint-based design of free-form curves, surfaces, and blends.
• Applications: Computer Graphics, CAD-CAM, robotics, design of mechanisms, chemistry , photogrammetry, virtual reality, etc.
• Constraint-based dynamic geometry.
• Computer-user interfaces for geometric constraints.
• Geometric constraints and data exchange.
• Reverse engineering and capture of design intent.
• Persistent naming problem and constraint-based geometric modeling.

PAPER SUBMISSION

Authors are encouraged to submit high-quality, original work that has neither appeared in, nor is under consideration by, other journals.

Manuscripts should be submitted to the URL http://gaia.scs.carleton.ca/cgta/ There authors should click on "Submit a Paper" then they have to choose "GeometricReasoning09" issue. After submitting, authors will recieve a username and password to log in to CGTA and check status of their papers.

IMPORTANT DATES

Papers submissions deadline: October 30, 2009

Notification to authors: January 30, 2010

Camera ready papers: March 1, 2010