Dix-neuvièmes 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».

Affiche des XIXè  journées Louis Antoine

Au programme, deux cours :

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

Pour plus de renseignement, voir la page dédiée. Inscription gratuite mais obligatoire sur ce lien.