Journées Nationales de Calcul Formel 2025
CIRM, Luminy, 10 - 14 mars 2025

Les Journées Nationales de Calcul Formel (JNCF) 2025 auront lieu au Centre international de rencontres mathématiques à Luminy du lundi 10 mars au vendredi 14 mars 2025.

Présentation

Le calcul formel a pour objet d'étude les manipulations symboliques effectives d'objets mathématiques. Il se situe ainsi naturellement à l'interface des mathématiques, de l'informatique et de différents domaines d'applications.

L'objectif premier des JNCF est de former et faire interagir la communauté scientifique du calcul formel dans toute sa diversité : enseignants-chercheurs·euses, chercheurs·euses, ingénieur·e·s, doctorant·e·s, etc. Des cours permettent de découvrir et d'approfondir certaines thématiques au cœur du calcul formel ou à l'interface avec d'autres thématiques, tandis que les exposés courts permettent de se tenir à jour de l'état de l'art dans l'ensemble du domaine. Un équilibre entre le français et l'anglais comme langues de présentation a vocation à faire vivre la communauté francophone tout en s'ouvrant plus largement à l'international.

Préinscription

Lien pour la préinscription : https://www.cirm-math.fr/preRegistration/index.php?EX=menu0&id_renc=3340

Comité scientifique

Le pilotage scientifique des JNCF est assuré par le comité rassemblant :

Magali Bardet (MCF, Université de Rouen)
Jérémy Berthomieu (MCF, Sorbonne Université)
Nicolas Brisebarre (DR, CNRS - ÉNS Lyon)
Laurent Busé (DR, INRIA d'Université Côte d'Azur)
Eleonora Guerrini (MCF, Université de Montpellier)
Vincel Hoang Ngoc Minh (PR, Université Paris-Nord)
Pierre-Vincent Koseleff (MCF, Sorbonne Université)
Guillaume Moroz (CR, INRIA - Université de Lorraine)
François Ollivier (CR, CNRS – École Polytechnique)
Clément Pernet (PR, Grenoble INP - Université Grenoble Alpes)
Mohab Safey El Din (PR, Sorbonne Université)
Pierre-Jean Spaenlehauer (CR, INRIA - Université de Lorraine)
Tristan Vaccon (MCF, Université de Limoges)

Comité d'organisation

L'organisation des JNCF 2025 est assurée par :

Florent Bréhard (CNRS – Université de Lille),
Pierre Lairez (INRIA, Université Paris Saclay),
Romain Lebreton (Université de Montpellier),
Aude Maignan (Université de Grenoble Alpes),
Fatemeh Mohammadi (KU Leuven)

Contacter le comité d'organisation.

Soutiens

Le comité d'organisation des JNCF remercie les sponsors suivants pour leur soutien :

Précédentes éditions

1998 2000 2003 2005 2007 2008 2010 2011 2013 2014 2015 2017 2018 2019 2020 2021 2022 2023 2024

Archive des cours