mercredi 19 septembre 3 exposés Solen Corvez IRMAR Stage de DEA, responsables Fabrice Rouillier, Marie-Francoise Roy Construction des racines d'un polynome a coefficients dans le corps des series de Puiseux reelles Gwenole Ars CELAR (Bruz) Stage de DEA, responsables Didier Alquie, Jean-Charles Faugere, Marie-Francoise Roy Une application des bases de Groebner en cryptographie Magali Bardet Turrel (LIP 6) Utilisation de bases de Grobner pour le decodage des codes cycliques. 5 octobre Bernard Parisse (Grenoble) Giac: une librairie de calcul formel en développement. 12 octobre Dima Grigoriev Approximation et complexité : théorèmes à la Liouville pour les équations différentielles 19 octobre Cyril Vervoux (Limoges) Introduire les algorithmes rapides de sous-resultants dans le calcul des bases de Groebner ? Lundi 22 octobre, 13 H 30 Michel Lavaud (Universite d'Orleans) Logiciels scientifiques libres : pourquoi, pour qui, par qui et comment? 26 octobre Philippe Wenger (Ecole Centrale de Nantes) Les singularités dans les mécanismes articulés Lundi 5 novembre 14 H 30 Olivier Cormier Résolution des équations différentielles linéaires d'ordre 4 et 5 : applications à la théorie de Galois classique. (soutenance de thèse) 23 novembre Assia Madhoubi (ENS Lyon) Elimination des quantificateurs sur les réels en Coq. 30 novembre Emmanuel Briand Fonctions multisymétriques, formes factorisables et variétés de sommes de puissances 14 decembre Delphine Boucher Application du theoreme de Morales-Ramis pour tester la non integrabilite de systemes hamiltoniens 21 Decembre Anne Fredet (Gage) Résolution sous forme finie d'équations différentielles linéaires et extensions exponentielles 18 Janvier Claudine Mitschi (Strasbourg) Le probleme de Galois differentiel inverse pour les groupes algebriques non connexes 1 février Dima Pasechnik Products of positive forms, linear matrix inequalities, and Hilbert 17-th problem for ternary forms. 15 février Mikhael Foursov, Projet SIMBAD, IRISA L'inversion formelle du comportement entrée/sortie d'un système dynamique (commandabilité locale) 1 mars Magali Bouffet, Université de Toulouse Etude formelle des équations différentielles à coefficients dans C((z))((e(1/z))). 8 mars Bernd Heinrich Matzat Universitaet Heidelberg (RFA) The differential Abhyankar conjecture 22 mars Maimouna Salou (Université de Besançon et de Niamey) Quelques calculs explicites sur les anneaux de Prufer et de Dedekind 29 mars Bernard Mourrain, INRIA Sophia Méthodes symboliques-numériques en Algèbre et Géométrie. 5 avril Alin Bostan , Ecole Polytechnique Pas de bébé / pas de géant pour la résolution des systèmes polynomiaux de dimension zero. 26 avril Sihem Mesnager Sur la normalisation effective d`un domaine affine dans une extension finie de son corps des fractions 3 mai Andrzej Maciejewski (Torun) Non-integrability of two non-Hamiltonian systems. 17 mai Joris van der Hoeven (Orsay) Un theoreme des valeurs intermediaires differentiel 24 mai Frits Beukers (Utrecht) The accessory parameter problem 7 juin Nour Eddine Oussous (LIFL) Identification de modèles par l'algèbre non commutative 21 juin Saugata Basu (Georgia Tech) Computing the homology groups 28 juin Mohab Safey El Din (Paris) Valeurs critiques généralisées et calcul d'un point par composante connexe d'une variété algébrique réelle (en collaboration avec Éric Schost). 5 juillet Carlo Traverso (Pisa) Topologie des surfaces