Les conférences ont lieu sur le campus de Beaulieu, bâtiment 28, Amphi J. L'IRMAR et l'UFR de mathématiques se situent au bâtiment 22-23.


Jeudi 22 novembre 2018

14h00 - 15h00. Bruno Salvy / Quelques algorithmes du calcul formel pour les suites et fonctions spéciales

15h15 - 16h15. Assia Mahboubi / Preuves formelles et assistants de preuve

16h15 - 17h00. Pause-café

17h00 - 18h00. Bruno Salvy / Quelques algorithmes du calcul formel pour les suites et fonctions spéciales


Vendredi 23 novembre 2018

09h00 - 10h00. Assia Mahboubi / Preuves formelles et assistants de preuve

10h00 - 10h20. Pause-café

10h20 - 11h20. Bruno Salvy / Quelques algorithmes du calcul formel pour les suites et fonctions spéciales

11h30 - 12h30. Assia Mahboubi / Preuves formelles et assistants de preuve

12h30 - 14h00. Déjeuner

14h00 - 15h00. Bruno Salvy / Quelques algorithmes du calcul formel pour les suites et fonctions spéciales

15h15 - 16h15. Assia Mahboubi / Preuves formelles et assistants de preuve