Scientific Committee
Comité scientifique
Magali Bardet (Université de Rouen)
Jérémy Berthomieu (Sorbonne Université)
Florent Bréhard (CNRS – Université de Lille)
Nicolas Brisebarre (CNRS – ÉNS Lyon)
Laurent Busé (INRIA Sophia Antipolis)
Eleonora Guerrini (Université de Montpellier)
Vincel Hoang Ngoc Minh (Université Sorbonne Paris Nord)
Pierre-Vincent Koseleff (Sorbonne Université)
Aude Maignan (Université de Grenoble Alpes)
Guillaume Moroz (Inria Nancy Grand-Est)
François Ollivier (CNRS – École Polytechnique)
Clément Pernet (Université Grenoble Alpes)
Pierre-Jean Spaenlehauer (INRIA Nancy Grand-Est)
Tristan Vaccon (Université de Limoges)
Organizing Commitee
Comité d’organisation
Mercedes Haiech (Université de Limoges)
Teresa Krick (Université de Buenos Aires)
Pierre Lairez (INRIA, Université Paris Saclay)
Romain Lebreton (Université de Montpellier)
Vincent Neiger (Sorbonne Université)
contact: orga-jncf2026@groupes.renater.fr
IMPORTANT WARNING: Scam / Phishing / SMiShing ! Note that ill-intentioned people may be trying to contact some of participants by email or phone to get money and personal details, by pretending to be part of the staff of our conference center (CIRM). CIRM and the organizers will NEVER contact you by phone on this issue and will NEVER ask you to pay for accommodation/ board / possible registration fee in advance. Any due payment will be taken onsite at CIRM during your stay.
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.
LECTURES
Clémence Perronnet (Agence Phare, et rattachée au Centre Max Weber, Lyon) - Ce que la sociologie nous apprend des mathématiques
On présente souvent les mathématiques comme la discipline reine, celle qui ouvre toutes les portes et où seuls les meilleurs réussissent. Mais pourquoi cette discipline a-t-elle tant d’importance ? Et d’où viennent notre intérêt et nos compétences en maths ? Certaines personnes ont-elles naturellement plus de facilités ? Quand on porte un regard sociologique sur les maths, on se rend compte que les « meilleurs » y ont très souvent le même profil. À l’inverse, le fait d’être une fille, de venir d’un milieu modeste ou d’être d’origine étrangère ou immigrée rend beaucoup moins probable la réussite en maths… Comment expliquer cela ? Qu’est-ce que le sexe, l’origine sociale ou la couleur de peau peuvent bien venir faire dans cette équation ? À partir d’une enquête sociologique menée auprès de 45 lycéennes, cette conférence montre que la réussite en maths n’a rien d’inné. Au contraire, nos rapports à cette matière sont le résultat de rapports sociaux. Sexisme, élitisme, racisme… la sélection par les maths est finalement bien moins neutre qu’elle n’en a l’air.
Ana Romero (Université de la Rioja, Espagne) - TBA
Bruno Salvy (Inria, ENS Lyon) - Algorithms Proving Inequalities of Sequences
Pierre-Jean Spaenlehauer (Inria, Université de Loraine) - TBA
CONTRIBUTED TALKS
To be announced
SPONSORS
