CIRM - HOME (EN)
CIRM - ACCUEIL (FR)
MULTIYEAR PROGRAM
RESEARCH SCHOOL

Francophone Computer Algebra Days
Journées nationales de calcul formel
2 – 6 March 2020

Scientific Committee
Comité scientifique

Delphine Boucher (Université de Rennes 1)
François Boulier (Université Lille 1)
Frédéric Chyzak (INRIA Saclay)
Thomas Cluzeau (Université de Limoges)
Luca De Feo  (Université de Versailles – Saint-Quentin) 
Jean-Guillaume Dumas (Université Grenoble Alpes)
Jean-Charles Faugère (INRIA Paris)
Pascal Giorgi (Université de Montpellier)
Claude-Pierre Jeannerod (INRIA Grenoble Rhône-Alpes)
Grégoire Lecerf (CNRS – Ecole polytechnique)
Marc Mezzarobba (CNRS – Sorbonne Université)
Alban Quadrat (INRIA Lille – Nord Europe)
Jean-Claude Yakoubsohn (Université Toulouse III – Paul Sabatier)
Organizing Committee
Comité d’organisation

​Magali Bardet (Université de Rouen Normandie)
Laurent Busé (INRIA Sophia Antipolis)
Xavier Caruso (CNRS – Université de Bordeaux) 
Mioara Joldes (CNRS – Université de Toulouse) 

contact the organizers : ​jncf2020@listes.math.cnrs.fr
Description
Computer Algebra refers to the study and design of algorithms for manipulating mathematical expressions and objects. It lies at the interface between Mathematics, Computer Science and various application fields. It covers a wide range of subjects, such as effective linear algebra, algorithmic number theory, integration and summation in closed form, differential and polynomial system solving, or special functions.
​
The French Computer Algebra community is internationally renowned for the excellence of its theoretical work. Several libraries produced by its members are part of mainstream software packages such as Maple or Sage. This success is notably due to the Journées nationales de calcul formel (JNCF), which are a remarkable opportunity for researchers to discuss recent and ongoing work with their peers.

​
Expected outcomes include:
​
– A better integration of young researchers. The JNCF are an ideal opportunity for young researchers to present their results for the first time and also to get an overview of the various advances in Computer Algebra. This is especially important in the Computer Algebra community, where researchers need to build skills in both Computer Science and Mathematics.

– New collaborations and interactions. The JNCF have traditionally been an opportunity to create successful collaborations between researchers from different parts of France. We now would like the JNCF to open to an international community, while remaining primarily French-speaking. The previous editions already included courses by colleagues from other European countries, and we intend to continue this trend. We also plan to better advertise the next JNCF in Mediterranean countries.
Le calcul formel s’intéresse à la manipulation algorithmique d’expressions et d’objets mathématiques. C’est une discipline à l’interface des mathématiques, de l’informatique et de différents domaines d’application qui recouvre de nombreux sujets, de la théorie algorithmique des nombres à la résolution de systèmes différentiels en passant par les fonctions spéciales.

​La communauté française de calcul formel est reconnue internationalement à la fois pour ses contributions théoriques et pour les logiciels qu’elle développe (dont plusieurs sont utilisés par des systèmes mondialement répandus tels que Maple ou Sage). Sa vitalité doit beaucoup aux Journées nationales de calcul formel (JNCF), qui représentent une opportunité remarquable pour les chercheurs d’échanger avec leurs pairs autour de travaux récents ou en cours.

Les résultats que nous attendons sont en particulier :
​
– Faciliter l’intégration des jeunes chercheurs. Les journées représentent une opportunité idéale pour les jeunes chercheurs de présenter leurs résultats pour la première fois et de se faire une idée d’ensemble des avancées dans le domaine. Cela revêt une importance particulière dans la communauté du calcul formel, où il est nécessaire d’acquérir de l’expérience à la fois en informatique et en mathématiques.
​
– De nouvelles collaborations et interactions. Les JNCF ont traditionnellement été l’occasion de démarrer des collaborations fructueuses entre chercheurs de différents pôles en France. Nous voudrions aujourd’hui les ouvrir à une communauté internationale, tout en maintenant leur caractère majoritairement francophone. Lors des dernières éditions, certains cours étaient assurés par des collègues d’autres pays européens, fonctionnement que nous souhaitons maintenir. Nous avons aussi l’intention d’annoncer plus largement les journées à venir dans les pays méditerranéens.
Courses

Carlos d’Andrea  (University of Barcelona) Théorie de l’élimination, systèmes creux et applications
Thomas Cluzeau (Université de Limoges)  Systèmes différentiels linéaires
David Kohel (Aix-Marseille Université)  Courbes elliptiques et cryptographie

Contributed talks

Simon Abelard (École Polytechnique)   Calcul de bases intégrales dans des corps de fonctions
Jared Asuncion (Université de Bordeaux)   Computing abelian extensions of quartic fields using complex multiplication
Lorenzo Baldi (Inria, Sophia Antipolis)  Polynomial Optimization and Moments
Manon Bertin (Université de Rouen-Normandie)   Understanding the complexity of an algebraic attack on DAGS
Florent Bréhard (Uppsala University)   On Moment Problems with Holonomic Functions
Cyrille Chenavier (Johannes Kepler University)   Compatible rewriting systems and completion for proving operator identities
Claire Delaplace (Université Rennes 1)    Can we Beat the Square Root Bound for ECDLP over mathbbFp2 via Representations ?
Vladimir Dotsenko (Université de Strasbourg)   Bases de Gröbner pour les opérades
Jean-Guillaume Dumas (Université Grenoble-Alpes)   Produit d’une matrice par sa transposée
Elie Eid (Université Rennes 1)  Fast computation of elliptic curve isogenies in characteristic two
Jürgen Gerhard (Maplesoft, Canada)
Bruno Grenet (Université de Montpellier)   Arithmétique polynomiale en espace constant
Jouhayna Harmouch (Inria, Sophia Antipolis)  Solving Partial Dierential Equations through the Decomposition of Formal Power Series
Vincel Hoang Ngoc Minh (Université de Lille)   L’indépendance d’une famille de fonctions euleriennes par la théorie Picard-Vessiot non commutative
Rima Khouja (Inria, Sophia Antipolis)   Optimizing an homogeneous polynomial on the unit sphere
Jean Kieffer (Université de Bordeaux)   Hauteur de fractions rationnelles et interpolation
George Krait (Inria, Nancy)   Isolating the singularities of the plane projection of a generic plane curves
Julien Lavauzelle (Université Rennes 1)  Cryptanalyse d’une variante du schéma de McEliece
Guillaume Moroz (Inria, Nancy)   Finding real roots of polynomials of degree 1000000
François Ollivier (CNRS, École Polytechnique)   Calcul des sorties linéarisantes d’un système plat
Armelle Perret du Cray (Université de Montpellier)  Produit quasi-linéaire de polynômes creux
Alban Quadrat (Inria, Paris)   On a rank factorisation problem arising in vibration analysis
Erick D. Rodriguez Bazan (Inria, Sophia Antipolis)  Interpolation and H-basis with symmetries
Mohammed Taous (Moulay Ismail University)   Sur les générateurs du 2-groupe de classes de certains corps de nombres illustrés par PARI/GP
Thibaut Verron (Johannes Kepler University)   Algorithmes avec signatures pour le calcul des bases de Gröbner sur les algèbres de Tate
Jean-Claude Yakoubsohn (Université Toulouse 3)   Newton Type Methods For The Singular Value Decomposition
Ilaria Zappatore (Université de Montpellier)   Unicity of simultaneous rational function reconstruction for a generic instance

SPONSORS

Picture

FastRelax