|
|
Centre Emile Borel |
In cooperation with the European Research Training Network “Real Algebraic and Analytic Geometry”
| 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
