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 Contacts Xavier Rival Responsable de l'équipe Meriem Guemair Assistant(e) de l'équipe Diana Marino Duarte Assistant(e) de l'équipe Dans l'actualité Histoire du numérique Enigma Cezara Dragoi, lauréate ANR Jeunes Chercheuses et Jeunes Chercheurs (JCJC) 18/05/2018 Les chemins inattendus du transfert avec Matrix Lead 18/10/2018 Les chemins inattendus du transfert avec Matrix Lead 13/11/2019 © Inria / Photo M. Sgandura Inria et le ministère de la Culture signent une convention-cadre 12/12/2016 Culture & Société Un peu de recul sur les sciences du numérique Communication / Événement © Inria / Photo J. Campet Comment la culture mathématique contribue aujourd’hui aux recherches en sciences du numérique ? 15/03/2024 Histoire du numérique Les impressions d'un inventeur Culture & Société L'épreuve Million ou les tourments d'un mathématicien amoureux Sécurité numérique Skyfall : Tombé du ciel 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
Communication / Événement © Inria / Photo J. Campet Comment la culture mathématique contribue aujourd’hui aux recherches en sciences du numérique ? 15/03/2024
