Certified numerics in function spaces: Polynomial approximations meet computer algebra and formal proof Soutenance de thèse Vendredi 12 juil 2019
Contributions à l'optimisation de programmes et à la synthèse de circuits haut-niveau Soutenance HDR Mercredi 15 mai 2019
Colloque international sur l'apprentissage approfondi et l'exploration de données en biologie et en médecine Colloque Mercredi 06 fév 2019 - Jeudi 07 fév 2019
On the Solution Phase of Direct Methods for Sparse Linear Systems with Multiple Sparse Right-hand Sides - De la phase de résolution des méthodes directes pour systèmes linéaires creux avec multiples seconds membres creux Soutenance de thèse Lundi 10 déc 2018
Entretiens Jacques Cartier : Concilier société numérique et éco-responsabilité Colloque Lundi 12 nov 2018 - Mardi 13 nov 2018
Remise de Doctorat Honoris causa à Marc Snir, professeur et chercheur en Informatique Cérémonie Vendredi 09 nov 2018
Contributions to the hardness foundations of lattice-based cryptography Soutenance de thèse Mardi 06 nov 2018
JCAD 2018 - Journées Calcul & Données Conférence Workshop Mercredi 24 oct 2018 - Vendredi 26 oct 2018
Toward an autonomic engine for scientific workflows and elastic Cloud infrastructure Soutenance de thèse Mardi 16 oct 2018
Toward an autonomic engine for scientific workflows and elastic Cloud infrastructure Soutenance de thèse Mardi 16 oct 2018
INFORMATIQUE : les bases de données Atelier Fête de la science Vendredi 12 oct 2018 - Samedi 13 oct 2018
INFORMATIQUE : Objets connectés et codage Atelier Fête de la science Jeudi 11 oct 2018 - Samedi 13 oct 2018
VISITE LABO : méso-centre de calcul de l’ENS de Lyon Visite Fête de la science Jeudi 11 oct 2018 - Samedi 13 oct 2018