XIX Journées Louis Antoine

Les dix-neuvièmes Journées Louis Antoine auront lieu les 22 et 23 novembre 2018 et s'intituleront « Preuves et calculs».

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