1584

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).
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.  Nous prévoyons  pour  2017 d’étendre les journées  aux pays du bassin méditerranéen.

Les buts  essentiels des JNCF  sont de favoriser les collaborations  entre les participants et de contribuer à la formation  des jeunes chercheurs.
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 ouvrir les journées à une communauté internationale, tout en maintenant leur caractère  majoritairement francophone. Lors des deux dernières  éditions, certains  cours étaient assurés par des collègues d’autres pays européens, fonctionnement que nous souhaitons maintenir. Par  ailleurs,  nous avons l’intention d’annoncer  plus largement les journées  à venir dans les pays méditerranéens.

En  accord  avec  ces objectifs,  les JNCF s’articuleront  autour de cours  assurés par  des chercheurs d’envergure internationale,  et d’exposés  sur  des travaux récents, donnés en priorité par des doctorants et des jeunes chercheurs.  Nous prévoyons  quatre cours, de trois  heures environ.

Comité scientifique

Magali Bardet (Université de Rouen Normandie)
Paola Boito (Université de Limoges)
Delphine Boucher (Université de Rennes I)
François Boulier (Université de Lille)
Laurent Busé (INRIA Sophia Antipolis)
Frédéric Chyzak (NRIA Saclay)
Jean-Guillaume Dumas (Université de Grenoble Alpes)
Jean-Charles Faugère (INRIA Rocquencourt)
Joris Van der Hoeven (École polytechnique)
Claude-Pierre Jeannerod (INRIA, ENS Lyon)
Emmanuel Thomé (INRIA Lorraine)
Jean-Claude Yakoubsohn (Université Toulouse III)

Comité d’organisation

Nicolas Brisebarre (ENS Lyon)
Carole El Bacha (Université Libanaise Fanar)
Pascal Giorgi (Université de Montpellier)
Marc Mezzarobba (Université Pierre et Marie Curie)
Guillaume Moroz ( INRIA Nancy Grand Est)

​Cours

• Valérie Berthé (Université Paris Diderot)

Symbolic dynamical systems and representations (notes)  (slides)

• Alin Bostan (SpecFun, INRIA Saclay)   (résumé détaillé)

Computer Algebra for Lattice Path Combinatorics   (part. 1)   (part. 2)   (part. 3)

• Peter Bürgisser (Technische Universität Berlin)

Condition. The Geometry of Numerical Algorithms (part. 1)   (part. 2)   (vidéos)

• Xavier Caruso (IRMAR Université de Rennes 1)

Calcul sur ordinateur avec les nombres p-adiques   (slides)   (notes)