Monday  12h30  lunch 


 16h0016h50  Roy  Algorithms in
real algebraic geometry: univariate polynomials


 16h50  coffee 


 17h1018h00  Schweighofer  Using semidefinite programming for polynomial
optimization problems


 20h00  dinner 


Tuesday  9h009h50  Roy  Algorithms
in real algebraic geometry: cylindrical decomposition


 9h50  coffee 


 10h1011h00  Schweighofer  Using semidefinite programming for polynomial
optimization problems


 11h1012h00  Pasechnik  Semialgebraic sets over quadratic maps


 12h30  lunch 


 16h0016h50  Roy  Algorithms in
real algebraic geometry: sampling


 16h50  coffee 


 17h1018h00  Madden  Algorithms
for solving infinitely near base conditions


 20h00  dinner 


Wednesday  9h0010h15  Caruso  Software demonstration: some algorithms in real algebraic geometry


 10h15  coffee 


 10h4512h00  Lesourd  Software demonstration: a wysiwyg interface for mathematical document
development & interaction with external assistants


 12h30  lunch 


 20h00  dinner 


Thursday  9h009h50  Basu  Algorithms
in real algebraic geometry: road maps


 9h50  coffee 


 10h1011h00  Schweighofer  Using semidefinite programming for polynomial
optimization problems


 11h1012h00  Pasechnik  Semialgebraic sets over quadratic maps


 12h30  lunch 


 16h0016h50  Basu  Algorithms in
real algebraic geometry: computing the first Betti number of a
semialgebraic set


 16h50  coffee 


 17h1018h00  Perucci  An
algorithm to decide the existence of real roots of sparse univariate
integer polynomials


 20h00  dinner 


Friday  10h0010h50  Técourt  Isotopic meshing of real algebraic surfaces


 10h50  coffee 


 11h1012h00  Basu  Algorithms in
real algebraic geometry: computing Betti numbers of sets defined by
quadratic inequalities


 12h30  lunch 

