Journées Nationales de Calcul Formel (JNCF) 2013
CIRM, Luminy
13 – 17 mai 2013

JNCF 2013 — Journées Nationales de Calcul Formel
13 – 17 mai 2013

Emploi du temps

La version imprimable au format PDF est accessible ici : edt.pdf.

Lundi

8h45 - 9h15 Accueil des participants
9h15 - 9h30 Présentation des journées
9h30 - 11h Evelyne Hubert Première partie : calcul des invariants d'une action de groupe (support)
11h - 11h30 Pause
11h30 - 12h Jules Svartz Bases de Gröbner d'idéaux invariants sous un groupe abélien fini dans le cas non-modulaire (slides)
12h - 12h30 Romain Lebreton FFT et TFT structurés: polynômes symétriques et sur un réseau (slides)
12h30 - 14h Déjeuner
14h - 15h30 Didier Henrion Première partie : optimisation, polynôme, contrôle(support)
15h30 - 16h Pause
16h - 16h30 Marta Abril Bucero Optimisation polynomiale global avec des matrices de Moments et des Bases de Bord
16h30 - 17h Aurélien Greuet Algorithme pour l'optimisation algébrique globale
17h - 17h15 Pause
17h15 - 17h45 Table ronde
17h45 - 18h Pause
18h - 18h30 Frédéric Chyzak Présentation du logiciel DDMF
18h30 - 18h50 Jean-Guillaume Dumas Présentation du logiciel LinBox (slides)
19h30 Diner

Mardi

9h - 10h30 Evelyne Hubert Deuxième partie : calcul des invariants d'une action de groupe (support)
10h30 - 11h Pause
11h - 11h30 Sumayya Suzy Maddah On completely Integrable Pfaffian Systems with Normal Crossings
11h30 - 12h Pierre Lairez La méthode de Griffiths-Dwork et la création télescopique pour les fractions rationnelles
12h - 12h30 Vincent Cossart Le faîte et la directrice. Ridge and directrix.
12h30 - 14h Déjeuner
19h30 Diner
21h -... Marc Mezzarobba Wikipédions

Mercredi

9h - 10h30 Grégoire Lecerf Première partie : factorisation des polynômes à plusieurs variables (support, slides)
10h30 - 11h Pause
11h - 11h30 Tristan Vaccon Précision p-adique, échelonnement matriciel et bases de Gröbner (slides)
11h30 - 12h Jérémy Berthomieu Résolution détendue sur les entiers p-adiques des systèmes algébriques
12h - 12h30 Ziad Sultan Adaptative parallel exact LU decomposition (slides)
12h30 - 14h Déjeuner
14h - 15h30 Didier Henrion Deuxième partie : optimisation, polynôme, contrôle (support)
15h30 - 16h Pause
16h - 16h30 Mathieu Collowald n-dimensional shape-from-moments problem
16h30 - 17h Esteban Segura Ugalde Symbolic-Numeric Aspects in Computation of Invariant Pairs for Matrix Polynomials
19h30 Diner

Jeudi

9h - 10h30 Grégoire Lecerf Deuxième partie : factorisation des polynômes à plusieurs variables (support, slides)
10h30 - 11h Pause
11h - 11h30 Bruno Grenet Algorithmes élémentaires pour la factorisation des polynômes lacunaires à deux variables (slides)
11h30 - 12h Yacine Mohamed Bouzidi Résolution de systèmes algèbriques en deux variables : complexité binaire du calcul d'une représentation univariée rationnelle (slides)
12h - 12h30 Louise Huot Résolution de systèmes polynomiaux de dimension zéro par algèbre linéaire rapide (slides)
12h30 - 14h Déjeuner
14h - 15h30 Damien Stehlé Première partie : réduction de réseaux et applications (Slides)
15h30 - 16h Pause
16h - 16h30 Thibaut Verron Complexité du calcul de bases de Gröbner pour les systèmes quasi- homogènes (slides)
16h30 - 17h Simone Naldi Real root finding of determinants of linear matrices (slides)
17h - 17h30 Pause
17h30 - 17h50 Marc Mezzarobba Présentation du logiciel NumGfun
17h50 - 18h20 Jean-Charles Faugère Présentation des logiciels FGb et RAGlib
18h20 - 18h40 François Poulain Présentation du logiciel TeXmacs (slides: TeXmacs, pdf)
18h40 - 19h Joris van der Hoeven Présentation du logiciel MATHEMAGIX
19h30 Diner social

Vendredi

9h - 10h30 Damien Stehlé Deuxième partie : réduction de réseaux et applications (Slides)
10h30 - 11h Pause
11h - 11h30 Razvan Barbulescu Selecting polynomials for the Function Field Sieve (slides)
11h30 - 12h Jean-François Biasse Improvements on the computation of the HNF of a module over the ring of integers of a number field
12h - 12h30 Nicolas Mascot Calcul rapide de coefficients de formes modulaires et réprésentations galoisiennes
12h30 - 14h Déjeuner

© Grégoire Lecerf, 2011, Clément Pernet 2013.