Journées Nationales de Calcul Formel 2018
CIRM, Luminy, 22–26 janvier 2018

Journées Nationales de Calcul Formel — 22–26 janvier 2018

Emploi du temps

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

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

Lundi 22 janvier 2018

08:50	Accueil des participants et présentation des journées
09:00	Assia Mahboubi	Calcul formel et preuves formelles (1)
10:30	Pause
11:00	Fredrik Johansson	Fast and rigorous arbitrary-precision evaluation of Legendre polynomials and Gauss-Legendre quadrature nodes
11:30	Florent Bréhard	Approximations de Tchebychev certifiées de fonctions D-finies vectorielles [support]
12:00	Silviu Filip	Rational minimax approximation via adaptive barycentric representations [support]
12:30	Déjeuner
14:00	Jean-Claude Yakoubsohn	Sur le calcul formel et numérique des singularités (1)
15:30	Pause
16:00	Magali Bardet	A New Approach for Solving the Permutation Code Equivalence Problem [support]
16:30	Yairon Cid Ruiz	Regularity and Gröbner bases of the Rees algebra of edge ideals of bipartite graphs [support]
17:00	Yacine Bouzidi	A Symbolic Approach for Solving Algebraic Riccati Equations [support]
17:30	Seny Diatta	Projection of analytic surfaces [support]
19:30	Dîner

Mardi 23 janvier 2018

09:00	Jean-Claude Yakoubsohn	Sur le calcul formel et numérique des singularités (2)
10:30	Pause
11:00	Fatmanur Yıldırım	Finite fibers of multi-graded dense rational maps on ℙ³ [support]
11:30	Jouhayna Harmouch	Décomposition d’un tenseur symétrique de rang faible: Application à l’identification de modèle statistique [support]
12:00	Ahmed Blidia	Continuité géométrique : Calculs sur des éléments polynomiaux par morceaux
12:30	Déjeuner
14:00	Assia Mahboubi	Calcul formel et preuves formelles (2)
15:30	Pause
16:00	François Ollivier	Singularités des diffiétés algébriques
16:30	Mohamed Housseine Abdou	Problèmes elliptiques fortement non linéaires dans les espaces de Sobolev à exposant variable d’ordre infini
17:00	Jürgen Gerhard	Advances in Symbolic Computation in Maple
17:30	Jürgen Gerhard	Atelier – Discussions Maple
19:30	Dîner

Mercredi 24 janvier 2018

09:00	Daniel Robertz	Méthodes formelles pour les équations aux dérivées partielles (1)
10:30	Pause
11:00	Dan Roche	Correcting errors in a matrix inverse [support]
11:30	Adrien Poteaux	A dichotomic Newton-Puiseux algorithm using dynamic evaluation [support]
12:00	Robin Larrieu	Une implémentation de la multiplication rapide des polynômes binaires [support]
12:30	Déjeuner
19:30	Dîner

Jeudi 25 janvier 2018

09:00	Éric Gourgoulhon	Calcul tensoriel formel sur les variétés différentielles (1)
10:30	Pause
11:00	Xavier Caruso	Variations autour d’un théorème de Christol [support]
11:30	Henri Lombardi	A pseudo-matrix approach to Prüfer domains
12:00	Jeremy Marrez	Étude et implantation d’une méthode algébrique pour résoudre des systèmes à coefficients flous [support]
12:30	Déjeuner
14:00	Daniel Robertz	Méthodes formelles pour les équations aux dérivées partielles (2)
15:30	Pause
16:00	Romain Lebreton	Conversions simultanées entre représentation classique et modulaire à l’aide d’algèbre linéaire [support]
16:30	Sudarshan Shinde	Finding ECM-friendly curves – A Galois approach [support]
17:00	Simon Abelard	Comptage de points de courbes hyperelliptiques en genre 3 et au-delà, théorie et pratique [support]
17:30	Pause
17:45	Table ronde
19:30	Dîner social

Vendredi 26 janvier 2018

09:00	Éric Gourgoulhon	Calcul tensoriel formel sur les variétés différentielles (2)
10:30	Pause
11:00	Jordy Palafox	Autour de l’arborification et de ses applications
11:30	Gérard Duchamp	Équations d’évolution et calcul différentiel non commutatifs [support]
12:00	Hoang Ngoc Minh	A propos d’un groupe d’associateurs [support]
12:30	Déjeuner