============================================================================== COMPUTATIONAL GEOMETRY: THEORY AND APPLICATIONS Special Issue Call for Papers Geometric Constraints and Reasoning ============================================================================== Xiao-Shan Gao Chinese Academy of Sciences xgao@mmrc.iss.ac.cn robert@lsi.upc.edu 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