Dix-neuvièmes Journées Louis Antoine
22 et 23 novembre 2018


Preuves et calculs


 

Deux cours de 4 heures    

Assia Mahboubi (Inria, Nantes)
Preuves formelles et assistants de preuve

et

Bruno Salvy (Inria, ENS Lyon)
Quelques algorithmes du calcul formel pour les suites et fonctions spéciales
          
 Université de Rennes I, campus de Beaulieu, Bâtiment 28, Rennes
Contact : journees-louis-antoine(at)univ-rennes1.fr

Organisation : J. Angst, S. Cantat, X. Caruso, V. Duchêne, F. Maucourant, L. M. Rodrigues, N. Seguin.
Affiche


Résumés


 Emploi du temps


Inscription

Le logement et les repas des participants
sont remboursés dans la limite
du budget disponible.
Certains trajets peuvent être pris en charge :
demander au préalable l'accord des organisateurs
en indiquant le tarif du billet.


Films des rencontres passées


Partenaires

IRMAR 


UFR