Journées Nationales de Calcul Formel 2017
CIRM, Luminy, 16–20 janvier 2017

Journées Nationales de Calcul Formel — 16–20 janvier 2017

Emploi du temps

Version pdf : une page, avec résumés

Dimanche 15 janvier 2017

Il est possible d'arriver à Luminy dès le dimanche 15 janvier. Il y aura un accueil de 17:00 à 23:00 avec un buffet froid servi de 19:00 à 22:00.

Lundi 16 janvier 2017

09:1509:30Accueil des participants et présentation des journées
09:3011:00 Peter Bürgisser
Condition: The Geometry of Numerical Algorithms (première partie)
11:0011:30Pause 
11:3012:00 Valentina Popescu
Tight and rigourous error bounds for basic building blocks of double-word arithmetic [support]
12:0012:30 Florent Bréhard
Approximations de Tchebychev rigoureuses de solutions d’équations différentielles linéaires en temps linéaire [support]
12:3014:00Déjeuner 
14:0015:00 Alin Bostan
Computer Algebra for Lattice Path Combinatorics (première partie)
15:0015:30 Thomas Dreyfus
On the nature of the generating series of random walks in the quarter plane [support]
15:3016:00Pause 
16:0016:30 Claire Delaplace
Calcul du rang de grandes matrices creuses modulo p par des méthodes d’élimination [support]
16:3017:00 Robin Larrieu
Généralisation de la transformée de Fourier tronquée pour des ordres quelconques [support]
17:0017:30 Svyatoslav Covanov
Exhaustive search of optimal formulae for bilinear maps [support]
19:30 Dîner 

Mardi 17 janvier 2017

09:0009:30 Victor Magron
Nichtnegativstellensätze for Univariate Polynomials [support]
09:3010:00 Simone Naldi
Computer algebra for hyperbolic programming [support]
10:0010:30 Sébastien Tavenas
Intersections réelles entre une courbe de petit degré et une hypersurface creuse [support]
10:3011:00Pause 
11:0012:30 Peter Bürgisser
Condition: The Geometry of Numerical Algorithms (deuxième partie)
12:3014:00Déjeuner 
14:0015:00 Alin Bostan
Computer Algebra for Lattice Path Combinatorics (deuxième partie)
15:0015:30Pause 
15:3015:50 François Ollivier
Dérivation de solutions d’équations différentielles par rapport aux paramètres. Une implantation en Maple [support]
15:5016:10 Luca De Feo
OpenDreamKit – The EU is actually paying to develop open source CAS’s! [support]
16:1016:40Nicolas Gachadoit
Extension des capacités de Maple grâce à l’interfaçage avec des bibliothèques de calcul en C/C++, Fortran ou Java [support]
16:4017:40Nicolas Gachadoit
Atelier Maple
19:30 Dîner 

Mercredi 18 janvier 2017

09:0010:30 Xavier Caruso
Algorithmique des nombres p-adiques (première partie)
10:3011:00Pause 
11:0011:30 Alexandre Le Meur
Formules de Thomae généralisées aux courbes résolubles sur ℙ1 [support]
11:3012:30 Alin Bostan
Computer Algebra for Lattice Path Combinatorics (troisième partie)
12:3014:00Déjeuner 
19:30 Dîner 

Jeudi 19 janvier 2017

09:0010:30 Valérie Berthé
Dynamique symbolique et représentations (première partie)
10:3011:00Pause 
11:0011:30 Philippe Dumas
Solutions rationnelles d’équations de Mahler linéaires [support]
11:3012:00 Joelle Saade
On the Formal Reduction of Linear Singular Differential Systems [support]
12:0012:30 Jordy Palafox
Problème du centre isochrone et correction de champs de vecteurs [support]
12:3014:00Déjeuner 
16:0017:30 Xavier Caruso
Algorithmique des nombres p-adiques (deuxième partie)
17:3018:00Pause 
18:0019:30Table ronde et présentation du GDR IM
19:30 Dîner social 

Vendredi 20 janvier 2017

09:0010:30 Valérie Berthé
Dynamique symbolique et représentations (deuxième partie)
10:3011:00Pause 
11:0011:30 Yacine Bouzidi
An effective approach for the stabilization of a class of multidimensional systems [support]
11:3012:00 Jean-Baptiste Orfila
Private Multi-party Matrix Multiplication and Trust Computation [support]
12:0012:30 Razvan Barbulescu
Une mise en revue des couplages [support]
12:3014:00Déjeuner