SAC 2012

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 26th Annual SAC meeting will be held 25-29 March 2012 in Trento (Italy) and will be held on the Centre for Computational and Systems Biology of the University of Trento (Italy)

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 sixth edition. Previous editions were held in Dijon (France), Seoul (Korea), Fortaleza (Brazil), Hawaii (USA), Serre (Switzerland) and, Taichung (Taiwan). 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 and practicioners 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
• 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

PAPER SUBMISSION DEADLINE EXTENDED TO SEPTEMBER 7, 2011

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

Organization

1. 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

2. Program Committee

   Francisco Botana
   Wim Bronsvoort
   Ching-Shoei Chiang
   Xiao-Shan Gao
   Luiz Henrique de Figueiredo
   Jacques Fleuriot
   Ioannis Fudos
   Chris Hoffmann
   Tetsuo Ida
   Predrag Janicic
   Christophe Jermann
   Robert Joan-Arinyo
   Ulrich Kortenkamp
   Dominique Michelucci
   Tomás Recio
   Michel Rueher
   Pascal Schreck
   Philippe Serré
   Meera Sitharam
   Toni Soto-Riera
   Ileana Streinu
   Simon Thierry
   Lu Yang
   Sebastià Vila
   

   Universidad de Vigo, Spain
   Delft University of Technology, Netherlands
   Soochow University, Taiwan
   Chinese Academy of Sciences, China
   Instituto de Matematica Pura e Aplicada, Brazil
   University of Edinburgh, UK
   University of Ioannina, Greece
   Purdue University, USA
   University of Tsukuba, Japan
   University of Belgrade, Serbia
   Université de Nantes, France
   Universitat Politècnica de Catalunya, Catalonia
   University of Education Karlsruhe, Germany
   Université de Bourgogne, France
   Universidad de Cantabria, Spain
   Université de Nice, Sophia Antipolis, France
   Université de Strasbourg, France
   Supméca, France
   University of Florida, USA
   Universitat Politècnica de Catalunya, Catalonia
   Smith College, USA
   Université de Strasbourg, France
   Chengdu Institute, China
   Universitat Politècnica de Catalunya, Catalonia
   

Accepted Papers

To be announced

Accepted Posters

To be announced

Final Program

To be announced