Centre Emile Borel

In cooperation with the European Research Training Network “Real Algebraic and Analytic Geometry

Real Algebra, Quadratic Forms and Model Theory; Algorithms and Applications

Paris, 02-09 November 2005

Programme


Date
Hour
Lecturer
Title (click for abstract, if provided)
Wednesday 2/11
9:00-945
Welcoming
9:45-10:15
F. Acquistapace (Univ. Pisa)
Looking for a Positivstellensatz for real analytic functions

coffee

11:00-11:30
T. Netzer (Univ. Konstanz)
The moment problem and representations of polynomials
11:45-12:15
N. Lerner (Univ. Rennes 1)
Writing nonnegative functions as sums of squares

lunch

15:15-15:45
F. Miraglia (Univ. Sao Paulo)
Algebraic K-theory of special groups

tea

16:30-17:00
C. Delzell (LSU, Baton Rouge)
Suprema of infima of generalized rational functions
17:15-18:15
M. Marshall (Univ. Sakatchewan)
Boundary Hessian condition and sums of squares
Date
Hour
Lecturer
Title (click for abstract, if provided)
Thursday 3/11
9:15-10:15
D. Henrion (LAAS Toulouse)
Algebraic formulations of some basic control problems 

coffee

11:00-11:30
X. Goaoc (INRIA Nancy)
Visibility computations on 3-dimensional algebraic objects
11:45-12:15
M.E. Alonso (Univ. Complutense Madrid)
Algorithms in the Henselization

lunch

15:15-15:45
R. Wencel (Univ. Leeds)
Topological properties of sets definable in weakly o-minimal strucutures

tea

16:30-17:00
D. Haskell (McMaster Univ.)
Being integral
17:15-18:15
C. Scheiderer (Univ. Konstanz)
Nichtnegativstellensätze for semialgebraic sets of dimension 2
Date
Hour
Lecturer
Title (click for abstract, if provided)
Friday 4/11
9:15-10:15
S. Basu (Georgia Tech.)
Asymptotically tight bounds on the number of connected components of the realizations of sign conditions

coffee

11:00-11:30
M. Safey (Univ. Paris 6)
Putting the critical point method into practice: practical and theoretical issues
11:45-12:15
M. Pouget (INRIA Sophia Antipolis)
Ridges and umbilics of polynomial parametric surfaces

lunch

15:15-15:45
M. Tressl (Univ. Passau)
Abstract semi-algebraic functions of class Ck

tea

16:30-17:00
A. Srhir (Univ. Cadi Ayyad, Safi)
Towards a Nullstellensatz for the ring Qp[[X]]
17:15-18:15
A. Prestel (Univ. Konstanz)
Archimedean quadratic modules

cocktail

Date
Hour
Lecturer
Title (click for abstract, if provided)
Monday 7/11
9:15-10:15
S. Kuhlmann (Univ. Saskatchewan)
Positive polynomials and Invariant theory

coffee

11:00-11:30
V. Astier (Univ. Nottingham)
Axiomatization of the pp-conjecture for spaces of orderings
11:45-12:15
N. Schwartz (Univ. Passau)
Convex subrings and convex extensions of partially ordered rings

lunch

15:15-15:45
M. Schweighofer (Univ. Konstanz)
Pure states on ideals and nonnegative polynomials

tea

16:30-17:00
A. Mahboubi (INRIA Sophia Antipolis) Implememtation and certification of the CAD algorithm
17:15-18:15
P. Wenger (Ec. Centrale Nantes)
Classification of cuspidal robots
Date
Hour
Lecturer
Title (click for abstract, if provided)
Tuesday 8/11
9:15-10:15
J. Fernando Galvan (Univ. Autonoma Madrid)
On the Hilbert 17th problem for global analytic function in dimension 3

coffee

11:00-11:30
A. Fischer (Univ. Rennes)
Zero-set property of infinitely Peano differentiable functions in o-minimal structures
11:45-12:15
I. Klep (Univ. Ljubljana)
A stellensatz for nowhere negative semidefinite polynomials

lunch

15:15-15:45
M. Kettner (Univ. Cantabria)
Computing the first Betti numbers

tea

16:30-17:00
F. Caruso (Univ. Cantabria)
Some Algorithms in Real Algebraic Geometry
17:15-18:15
D. Pasechnik (Tilburg Univ.)
Algebraic reduction of symmetric semidefinite programs with application to bounding crossing numbers of Km,n
Date
Hour
Lecturer
Title (click for abstract, if provided)
Wednesday 9/11
9:15-10:15
F. Sottile (Texas A&M Univ.)
The Shapiro conjecture

coffee

11:00-11:30
J-B. Lasserre (LAAS Toulouse)
SOS approximations of nonnegative polynomials
11:45-12:15
E. Briand (Univ. Cantabria) The configuration of two real projective quadrics

lunch

15:15-15:45
J-P. Tecourt (INRIA Sophia Antipolis) Isotopic meshing of a real algebraic surface

tea

16:30-17:00
H. Lombardi (Univ. Franche-Comte)
About "Sums of squares" of Kreisel
17:15-18:15
L. Gonzalez Vega (Univ.Cantabria)
Real algebraic geometry in industry: the Computer Aided Design example


Back to the home page