Conférences

Enregistrements trouvés: 1 (Afficher toutes les activités)
Séminaire
Méthodes de preuve assistée par ordinateur pour l'étude de systèmes d’EDP de type réaction-diffusion
J.-P. Lessard
Université Laval
Date: 2013-01-06 à 19:00
Endroit: ENS Cachan, France