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
Recherche Conférence
