Journées Nationales de Calcul Formel (JNCF) 2015
Cluny
2 – 6 Novembre 2015

JNCF 2015 — Journées Nationales de Calcul Formel
2 – 6 Novembre 2015

Emploi du temps

• Vous trouverez l'ensemble des résumés des exposés courts en un seul document ici
• Cet emploi du temps est également disponible en version pdf

Lundi

9h15 - 9h30	Accueil des participants et présentation des journées
9h30 - 11h	Manuel Kauers	Première partie : Algorithms for D-finite Functions (support)
11h - 11h30	Pause
11h30 - 12h	Thomas Camus	Calcul des isométries de réseaux algébriques (slides)
12h - 12h30	Vincent Neiger	Computing minimal interpolation bases (slides)
12h30 - 14h	Déjeuner
14h - 15h30	Stéphane Gaubert	Première partie : Géométrie tropicale appliquée à la programmation linéaire, aux jeux avec paiement moyen et aux problèmes de valeurs propres.
15h30 - 16h	Pause
16h - 17h	Moulay Barkatou	Removing Apparent Singularities of Systems of Linear Differential Equations with Rational Function Coefficients (slides)
17h - 17h15	Pause
17h15 - 17h45	Thomas Sibut-Pinote	Calculs symboliques sur des algorithmes théoriques de produits de matrices (slides)
17h45 - 18h15	Yacine Bouzidi	Computer algebra methods for testing the structual stability of multidimensional systems (slides)
18h45	Dîner

Mardi

9h - 10h30	Manuel Kauers	Deuxième partie : Algorithms for D-finite Functions (support)
10h30 - 11h	Pause
11h - 12h	Clément Pernet	Computing the rank profile matrix (slides)
12h - 12h30	Bruno Grenet	Calcul de racines sur un corps fini à l’aide de transformées de Graeffe (slides)
12h30 - 14h	Déjeuner
14h - 15h30	Stéphane Gaubert	Deuxième partie : Géométrie tropicale appliquée à la programmation linéaire, aux jeux avec paiement moyen et aux problèmes de valeurs propres.
15h30 - 16h	Pause
16h - 17h	Adrien Poteaux	Improving complexity bounds for the computation of Puiseux series over finite fields (slides)
17h - 17h30	Philippe Dumas	Calcul rapide d’un coefficient d’une série algébrique en caractéristique positive (slides)
19h30	Dîner social

Mercredi

9h - 10h30	Jean-Charles Faugère	Première partie : Résolution de systèmes polynomiaux avec les bases de Gröbner.
10h30 - 11h	Pause
11h - 11h30	Joelle Saadé	A short survey on Kantorovich-like theorems for Newton’s method (slides)
11h30 - 12h	Pierre Lairez	Un algorithme déterministe pour calculer une racine approchée d’un système polynomial en complexité moyenne polynomiales (slides)
12h - 12h30	Pierre-Jean Spaenlehauer	Sparse polynomial systems with many positive solutions from bipartite simplicial complexes (slides)
12h30 - 14h	Déjeuner
18h45	Dîner

Jeudi

9h - 10h30	Guillaume Chèze	Première partie : De la décomposition aux intégrales premières rationnelles (support)
10h30 - 11h	Pause
11h - 11h30	Svyatoslav Covanov	Multiplication rapide d’entiers utilisant des nombres de Fermat généralisés premiers (slides)
11h30 - 12h	Alexandre Temperville	Simplification de paramètres(slides)
12h30 - 14h	Déjeuner
14h - 15h30	Jean-Charles Faugère	Deuxième partie : Résolution de systèmes polynomiaux avec les bases de Gröbner.
15h30 - 16h	Pause
16h - 17h	Jérémy Berthomieu	Linear algebra for computing Gröbner bases of linear recursive multidimensional sequences (slides)
17h - 17h30	Thibault Verron	Classification algébrique associée à l’optimisation de contraste pour l’IRM (slides)
18h45	Dîner
20h	Table ronde

Vendredi

9h - 10h30	Guillaume Chèze	Deuxième partie : De la décomposition aux intégrales premières rationnelles (support)
10h30 - 11h	Pause
11h - 11h30	Bernard Mourrain	Formules de quadrature, extension plate et optimization convexe (slides)
11h30 - 12h	François Ollivier	La borne de Jacobi. Déterminant tropical, ordre et formes normales des systèmes d’EDO (slides)
12h30 - 14h	Déjeuner

---