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
Francisco Botana
Wim Bronsvoort
Ching-Shoei Chiang
Jean-François Dufourd
Luiz Henrique de Figueiredo
Jacques Fleuriot
Ioannis Fudos
Chris Hoffmann
Tetsuo Ida
Predrag Janicic
Christophe Jermann
Ulrich Kortenkamp
Hongbo Li
John C. Owen
Tomás Recio
Michel Rueher
Pascal Schreck
Philippe Serré
Meera Sitharam
Toni Soto-Riera
Ileana Streinu
Jan Verschelde
Lu Yang
Sebastià Vila
Universidad de Vigo, Spain
Delft University of Technology, Netherlands
Soochow University, Taiwan
Université de Strasbourg, France
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
University of Education Karlsruhe, Germany
Academy of Sciences, China
Siemens, UK
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
University of Illinois at Chicago, USA
Chengdu Institute, China
Universitat Politècnica de Catalunya, Catalonia
==============================================================================
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