XIX Journées Louis Antoine

Au programme, deux cours de Assia Mahboubi et Bruno Salvy.
Assia Mahboubi (Inria, Nantes)
Preuves formelles et assistants de preuve

Bruno Salvy (Inria, ENS Lyon)
Quelques algorithmes du calcul formel pour les suites et fonctions spéciales