Programme

Monday12h30lunch 
16h00-16h50RoyAlgorithms in real algebraic geometry: univariate polynomials
16h50coffee 
17h10-18h00SchweighoferUsing semidefinite programming for polynomial optimization problems
20h00dinner 
Tuesday9h00-9h50RoyAlgorithms in real algebraic geometry: cylindrical decomposition
9h50coffee 
10h10-11h00SchweighoferUsing semidefinite programming for polynomial optimization problems
11h10-12h00PasechnikSemialgebraic sets over quadratic maps
12h30lunch 
16h00-16h50RoyAlgorithms in real algebraic geometry: sampling
16h50coffee 
17h10-18h00MaddenAlgorithms for solving infinitely near base conditions
20h00dinner 
Wednesday9h00-10h15CarusoSoftware demonstration: some algorithms in real algebraic geometry
10h15coffee 
10h45-12h00LesourdSoftware demonstration: a wysiwyg interface for mathematical document development & interaction with external assistants
12h30lunch 
20h00dinner 
Thursday9h00-9h50BasuAlgorithms in real algebraic geometry: road maps
9h50coffee 
10h10-11h00SchweighoferUsing semidefinite programming for polynomial optimization problems
11h10-12h00PasechnikSemialgebraic sets over quadratic maps
12h30lunch 
16h00-16h50BasuAlgorithms in real algebraic geometry: computing the first Betti number of a semi-algebraic set
16h50coffee 
17h10-18h00PerucciAn algorithm to decide the existence of real roots of sparse univariate integer polynomials
20h00dinner 
Friday10h00-10h50TécourtIsotopic meshing of real algebraic surfaces
10h50coffee 
11h10-12h00BasuAlgorithms in real algebraic geometry: computing Betti numbers of sets defined by quadratic inequalities
12h30lunch 

All lectures and demonstrations will take place in the Conference Room of the town hall of Ouessant. There will be ample time for discussions during coffe breaks on the nice terrace, from which one has a splendid view on the bay of Lampaul. Lunch and diner will be served at the restaurant of Hotel Fromveur. Lodging is provided by the following hotels: Duchesse Anne, Le Fromveur, Océan and Roc'h Ar Mor