0;278;0c Journées nationales de calcul formel 2014

Journées Nationales de Calcul Formel (JNCF) 2014
CIRM, Luminy
3 – 7 novembre 2014

JNCF 2014 — Journées Nationales de Calcul Formel
3 – 7 novembre 2014

Emploi du temps

Lundi

8h50 - 9h10 Accueil des participants et présentation des journées
9h10 - 10h40 Dario Bini Première partie : matrices structurées et applications (support)
10h40 - 11h Pause
11h - 11h30 Skander Belhaj Algorithmes rapides de résolution de systèmes de Toeplitz bandes (slides)
11h30 - 12h Brice Boyer Matrix multiplication over word-size modular rings using Bini's approximate formula (slides)
12h - 12h30 Romain Lebreton Algorithmes détendus pour les bases d’ordre et leur impact aux méthodes de Wiedemann par blocs (slides)
12h30 - 14h Déjeuner
14h - 15h30 Henri Lombardi Première partie : algèbre constructive (support, première partie)
15h30 - 15h55 Pause
15h55 - 16h25 Sébastien Maulat Automatic Continued Fractions Expansions by Guess and Prove (slides)
16h25 - 16h55 Pierre Lairez Sommes binomiales multiples : structure et calcul (slides)
16h55 - 17h15 François Boulier BLAD (slides)
17h15 - 17h25 Pause
17h25 - 17h55 Joris van der Hoeven Multiplication rapide d’entiers et de polynômes (presentation in TeXmacs)
17h55 - 18h25 Bruno Grenet Calcul des facteurs de petit degré des polynômes lacunaires (slides)
18h25 - 18h35 Pause
18h35 - 19h05 Xavier Caruso Résultants et sous-résultants de polynômes p-adiques (slides)
19h05 - 19h25 Jean-Guillaume Dumas Nouveautés sur les noyaux d'algèbre linéaire de LinBox (slides)
19h30 Diner

Mardi

9h - 10h30 Dario Bini Deuxième partie : matrices structurées et applications (support)
10h30 - 11h Pause
11h - 11h30 Pierre Bonnelie Formes libres pour les trajectoires optimales (slides)
11h30 - 12h Silviu-Ioan Filip Efficient algorithms for the design of finite impulse response digital filters (slides)
12h - 12h30 Antoine Plet Computations on symbolic floating point numbers (slides)
12h30 - 14h Déjeuner
14h - 15h30 Laura Grigori Première partie : communication avoiding algorithms in linear algebra and beyond
15h30 - 15h55 Pause
15h55 - 16h25 Louis Dumont Équations pour les diagonales, application aux marches unidimensionnelles (slides)
16h25 - 16h55 Quoc Hoan Ngo Harmonic sums and polylogarithms at non-positive integers (slides)
16h55 - 17h15 Marc Mezzarobba Introduction à Sage (slides)
17h15 - 17h25 Pause
17h25 - 17h55 Guillaume Moroz Topologie du discriminant d’une surface (slides)
17h55 - 18h25 Simone Naldi Computing real points on determinantal varieties and spectrahedra (slides)
18h25 - 18h35 Pause
18h35 - 19h05 Ivan Bannwarth Un algorithme efficace de calcul de la dimension réelle d’un ensemble algébrique réel (slides)
19h05 - 19h25 Elias Tsigaridas Software Development @ PolSys. (slides)
19h30 Diner social

Mercredi

9h - 10h30 Laura Grigori Deuxième partie : communication avoiding algorithms in linear algebra and beyond
10h30 - 11h Pause
11h - 11h30 Burak Ekici Program certification with computational effects (slides)
11h30 - 12h Mioara Joldes A New Method to Compute the Probability of Collision for Short-term Space Encounters (slides)
12h - 12h30 Assia Mahboubi Irrationalité de la constante d’Apéry : du calcul formel aux preuves formelles (slides)
12h30 - 14h Déjeuner
14h - 14h30 Victor Magron Semidefinite approximations of projections and polynomial images of semialgebraic sets (slides)
14h30 - 15h Vincent Neiger List-decoding Reed-Solomon codes : re-encoding techniques and Wu algorithm via simultaneous polynomial approximations (slides)
19h30 Diner
21h -... Marc Mezzarobba Wikipédions (slides)

Jeudi

9h - 10h30 Pierrick Gaudry Première partie : factorisation d'entiers et problèmes du logarithme discret (slides)
10h30 - 11h Pause
11h - 11h30 Thibaut Verron Complexité du calcul de bases de Gröbner pour des systèmes homogènes (slides)
11h30 - 12h Tristan Vaccon Précision p-adique, application à la résolution d’équations différentielles (slides)
12h - 12h30 Jérémy Berthomieu Algorithmes en temps polynomial pour l’isomorphisme de polynômes quadratiques : le cas régulier (slides)
12h30 - 14h Déjeuner
14h - 15h30 Henri Lombardi Deuxième partie : algèbre constructive (support, seconde partie)
15h30 - 16h Pause
16h - 16h30 Thierry Combot Computing necessary integrability conditions for planar parametrized homogeneous potentials (slides)
16h30 - 17h Marta Abril Bucero Algorithme d'optimisation polynomiale en utilisant de bases de bord (slides)
17h - 17h30 Nicolas Gachadoit Maple : Accélération du calcul formel par la parallélisation manuelle ou automatique
17h30 - 17h55 Pause
17h55 - 18h25 Alexandre Temperville Calcul de bases creuses dans un contexte biologique (slides)
18h25 - 18h55 Markus Rosenkranz Symbolic Computation for Boundary Problems and Green’s Operators (slides)
18h55 - 19h25 Van Chiên Bui Structures of polyzetas and the algorithms to express them on algebraic bases on words (slides)
19h30 Diner
21h -... Table ronde

Vendredi

9h - 10h30 Pierrick Gaudry Deuxième partie : factorisation d'entiers et problèmes du logarithme discret (slides)
10h30 - 11h Pause
11h - 11h30 Jean-Claude Yakoubsohn Approximation de racines multiples isolées de systèmes polynomiaux (slides)
11h30 - 12h André Galligo Exploring univariate mixed polynomials (slides)
12h - 12h30 Frédéric Chyzak Calculs de séries génératrices hypergéométriques pour les marches à petits pas dans le quart de plan (slides)
12h30 - 14h Déjeuner
© Adrien Poteaux 2014.