CGAL users discussion list

(Sorry for multiple copies)
----------------------------------------------------------------
    Workshop on Robust Shape Operations
         26 - 28, September, 2007
         INRIA Sophia Antipolis

    http://www-sop.inria.fr/geometrica/events/WRSO/

------------------
Call for Talks
        Deadline : * July, 1st, 2007 *

Please send your proposals (title and abstract - format txt) to:
to  and , 
subject: WRSO Talks
------------------
Registration deadline : September 2nd, 2007
------------------

Invited speakers
    Fabrice Rouillier, INRIA Rocquencourt
    Chee Yap, New York University

------------------

Conventional geometric algorithms found in geometric modeling systems 
work with fixed precision arithmetic and numerical approximation schemes 
for computing intersections of curves and surfaces. That is why their 
functionality is impaired by rounding and approximation errors in 
(nearly) degenerate situations which frequently occur in practice.

In contrast, this workshop emphasizes on exactness or certified 
approximations, focusing on techniques guaranteeing correctness, which 
are based on certified numerics and certified topology; the attention is 
devoted to both algebraic objects and approximations for more general 
objects.

The workshop areas contain, but are not restricted to, the following themes:
- Algorithms and data structures for shape operations -
in particular arrangements of curves and surfaces, meshing and boolean 
operations for curved solids, optimization with quadratic constraints,...
- Algebraic methods and certified numerics -
in particular, algebraic numbers and dedicated solvers for a restricted 
class of polynomial systems that are encountered in geometric predicates 
and constructions.

------------------