Equipe-projet ANTIQUE Analyse Statique par Interprétation Abstraite Analyse Statique par Interprétation Abstraite
Centre(s) inria Centre Inria de Paris En partenariat avec CNRS,Ecole normale supérieure de Paris Publications HALRapport d'activitéSite Web Membres Xavier Rival Responsable de l'équipe Nathalie Gaudechoux Assistant(e) de l'équipe Dans l'actualité Enigma Histoire du numérique Les chemins inattendus du transfert avec Matrix Lead 18/10/2018 Les chemins inattendus du transfert avec Matrix Lead 13/11/2019 Cezara Dragoi, lauréate ANR Jeunes Chercheuses et Jeunes Chercheurs (JCJC) 18/05/2018 L'épreuve Million ou les tourments d'un mathématicien amoureux Culture & Société © Inria / Photo M. Sgandura Inria et le ministère de la Culture signent une convention-cadre 12/12/2016 Un peu de recul sur les sciences du numérique Culture & Société Les impressions d'un inventeur Histoire du numérique La simulation de foule au service du divertissement Culture & Société Skyfall : Tombé du ciel Sécurité numérique Toute l'actualité de l'équipe-projet Découvrez les autres équipes qui travaillent sur le même thème
© Inria / Photo M. Sgandura Inria et le ministère de la Culture signent une convention-cadre 12/12/2016
