Trento, Italy


Geometric Constraints and Reasoning

Technical track of the 27th Annual ACM

Symposium on Applied Computing

SAC 2012

25 - 29 March 2012

The Microsoft Research, University of Trento

Trento, Italy

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 and on past and current SAC events can be found at the URL .


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:

GCR 2012 will be an opportunity to gather several communities involved in geometric computing and reasoning:

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:

Important Due Dates


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


  1. Organizing Committee

    Xiao-Shan Gao
    Institute of Systems Science, Chinese Academy of Sciences.
    Beijin, China.

    Robert Joan-Arinyo
    Universitat Politècnica de Catalunya
    Barcelona, Catalonia.

    Dominique Michelucci
    Université de Bourgogne
    Dijon, France.

  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