Time Schedule - Abstracts

Participants

MULTIYEAR PROGRAM
RESEARCH SCHOOL - ECOLE DE RECHERCHE

Francophone Computer Algebra Days
Journées nationales de calcul formel
6 - 10 March 2023

Organizing Committee
Comité d'organisation

Paola Boito (University of Pisa)
Eleonora Guerrini (Université de Montpellier)
Pierre-Jean Spaenlehauer (INRIA Nancy Grand-Est)

PRE-REGISTER - APPLY HERE

Description

Computer Algebra refers to the study and design of algorithms for manipulating mathematical expressions and objects. It is naturally 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 summations in closed-form expression, differential and polynomial system solving, or special functions. The French Computer Algebra community takes part in the organization of the main international conferences (ISSAC, FoCM, MEGA, . . . ). On top of scientific excellence in their theoretical works, members of this community also develop for widely used software such as Maple, SageMath and Magma, and software libraries such as mpfr, pari, fgb, rs, linbox, etc. The vitality of this community is also recognized by prestigious national prizes (e.g. CNRS medal). This success is notably due to the Journées Nationales de Calcul Formel (JNCF), which is 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. The JNCF has also opened to an international community, while remaining primarily French-speaking. The previous editions already included courses and contributed talks by colleagues from other European and Mediterranean countries.

Le calcul formel désigne la conception et l’analyse d’algorithmes pour la manipulation 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. Il recouvre de nombreux sujets, de la théorie algorithmique des nombres à la résolution de systèmes polynomiaux ou différentiels en passant par les fonctions spéciales ou l’algèbre linéaire effective. La communauté française de calcul formel participe à l’organisation des principales conférences internationales (ISSAC, FoCM, MEGA, . . . ). Reconnus internationalement pour leurs contributions théoriques, les membres de la communauté participent également au développement de logiciels largement utilisés comme Maple, SageMath, Magma, ainsi que de bibliothèques comme mpfr, pari, fgb, rs, linbox, etc. 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. Elles sont depuis quelques années ouvertes à une communauté internationale, tout en maintenant un caractère majoritairement francophone. Lors des dernières éditions, des cours et exposés étaient assurés par des collègues d’autres pays européens ou méditerranéens.
  

Courses

TBA

Contributed talks

TBA

SPONSORS