Отправляет email-рассылки с помощью сервиса Sendsay

Система компьютерной алгебры GAP

Подписаться Бесплатная «Серебряная» новостная рассылка . Временно не выходит ,возобновит выход - нет информации Подписчиков 783 RSS
←   Август 2008   →
 1
 2
 3
 4
 5
 6
 7
 8
08.08.2008
03:05:07
20:32:13
 9
10
11
12
12.08.2008
17:09:32
19:06:20
13
14
15
15.08.2008
13:03:17
13:21:15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31


За последние 60 дней ни разу не выходила


Сайт рассылки: http://www.gap-system.org/ukrgap/
Открыта: 05-02-2002

Автор
Александр Борисович Коновалов

Статистика

783 подписчиков
0 за неделю
←   Все выпуски   →

Система компьютерной алгебры GAP - Geometric Constraints and Reasoning


            SECOND CALL FOR PAPERS


           Geometric Constraints and Reasoning
               a technical track of
     The International ACM Symposium on Applied Computing
                SAC2009
            March 8-12, 2009
          Waikiki Beach, Honolulu, Hawaii, USA


Geometric Constraints and Reasoning (GCR) is a technical track of the
International Symposium on Applied Computing (see
http://www.acm.org/conferences/sac/sac2009).  For the past twenty
years the ACM Symposium on Applied Computing (SAC) has been a primary
forum for applied computer scientists, computer engineers and
application developers to gather, interact, and present their
work. SAC is sponsored by the ACM Special Interest Group on Applied
Computing (SIGAPP),  its proceedings are published by ACM in both
printed form and CD-ROM; they are also available on the web through
ACM's Digital Library. More information about SIGAPP and past SACs can
be found at URL: http://www.acm.org/sigapp.

As a special track of SAC, the GCR is devoted to geometric reasoning
taken in a broad sense. Initially, this track focused on geometric
constraint solving but it appears that geometric computing and
reasoning is closely related to this topic. Our aim is then to widen
the audience and to make GCR a place where the communities of
geometric constraint solving, computer aided deduction in geometry
and related disciplines can meet and have fruitful exchanges.
See http://www.lsi.upc.edu/~robert/gcr2009/gcr2009.html.

SAC 2009 is also an opportunity to attend tracks related to GCR, about
combinatorial optimization, constraint programming (non geometrical
constraints), graph algorithms, numerical methods or interval
analysis, etc.

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 other
   methods.
 * Proving geometric theorems with logical approaches, deductive databases,
   Computer Algebra, etc.
 * Decomposition of systems of geometric constraints.
 * Mixing geometric and non geometric constraints (combinatorial or logical),
   white boxes, black boxes, geometric constraints and constraints
   programming.
 * Detection of dependences between constraints, debugging geometric
   constraints.
 * Constrained curves, surfaces, blends.
 * Exotic (eg non cartesian) formulations of constraints.
 * Comparison of resolution methods or constraints formulations for
   the same problems.
 * Mathematical background: combinatorial rigidity, graph theory,
   matroid theory, computer algebra (polynomial systems, dimension of
   ideals).
 * Applications in Computer Graphics, CAD-CAM, robotics,
   mechanism design, chemistry (eg molecule configurations), photogrammetry,
   virtual reality.
 * Sensitivity to parameters vales and other robustness issues,
 * Geometry of computations: using topological ad geometrical ideas
   in provers.
 * 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.
 * Integration of geometric solvers into modelers, solvers architecture.
 * Geometric constraints and Human Computer interfaces.
 * Persistent naming problem and geometric modeling by constraints.
Authors are invited to contribute original papers in the listed or
other realted topics in the following categories of submissions:

1) Original and unpublished research work.

2) Reports of innovative applications to the arts, sciences,
  engineering, and business areas.

3) Reports of successful technology transfer to new problem domains.

4) Reports of industrial experience and demos of new innovative systems.

All submissions will be peer reviewed. Papers will be selected based on
their originality, timeliness, significance relevance and clarity of
presentation.


JOURNAL PUBLICATION
Authors of selected papers of outstanding quality that have been
presented at GCR'09 will be invited to submit a full length version to
a special issue of Computational Geometry: Theory and Applications.


IMPORTANT DATES

* August 16, 2008:  Paper submissions
* October 11, 2008: Author notification of acceptance/rejection
* October 25, 2008: Camera-ready copy of accepted papers
SUBMISSION INSTRUCTIONS

* Submissions will be in electronic format, via the website
 http://sac.cs.iupui.edu/SAC2009/
* Submissions must follow the template that can be downloaded from
 http:www.acm.org/conferences/sac/sac2009/downloads09.htm
* To facilitate blind review, 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.
TRACK CHAIRS

* Xiao-Shan Gao: xgao@mmrc.iss.ac.cn
* Robert Joan-Arinyo: robert@lsi.upc.edu
* Dominique Michelucci: Dominique.Michelucci@u-bourgogne.fr


PROGRAM COMMITTEE

Francisco Botana       Universidad de Vigo, Spain
Wim Bronsvoort           Delft University of Technology, Netherlands
Jean-François Dufourd  University of Strasbourg, France
Luiz H. de Figueiredo  Instituto de Matematica Pura e Aplicada, Brazil
Jacques Fleuriot       University of Edinburgh, UK
Ioannis Fudos           University of Ioannina, Greece
Chris Hoffmann           Purdue University, USA
Tetsuo Ida           University of Tsukuba, Japan
Ulrich Kortenkamp      Schwäbisch Gmünd, Germany
Hongbo Li           Academy of Sciences, China
John C. Owen           D-Cubed Ltd, UK
Tomás Recio          Universidad de Cantabria, Spain
Alain Riviere           SUPMECA, France
Pascal Schreck           University of Strasbourg, France
Meera Sitharam           University of Florida, USA
Toni Soto-Riera        Universitat Politècnica de Catalunya, Catalonia
Ileana Streinu           Smith College, USA
Jan Verschelde           University of Illinois at Chicago, USA
Lu Yang            Chengdu Institute, China
В избранное