Equipe-projet ANTIQUE Analyse Statique par Interprétation Abstraite Analyse Statique par Interprétation Abstraite
Centre(s) inria Paris En partenariat avec CNRS,Ecole normale supérieure de Paris Publications HALRapport d'activitéSite de l'équipe Membres de l'équipe-projet Rival Xavier Responsable de l'équipe Gaudechoux Nathalie Assistant(e) de l'équipe Dans l'actualité 16 au 17 déc. 2020 Événement Journées INS2I Nouvelles imageries : journées en hommage à Christian Barillot 04 oct. 2020 Événement Vingt mille lieues sous le code 13 fév. 2020 Événement Cycle Sciences et société : "Une histoire du Big-Bang" 19 déc. 2019 Événement Rendez-vous au Collège de France pour écouter Sylvie Boldo Lieu: Collège de France Actualité Fernando de Goes, Pixar Mathieu Desbrun donne « forme » aux équations 14/01/2021 Actualité L’Institut Polytechnique de Paris et Inria renforcent leur leadership dans le numérique et l’IA 13/01/2021 Actualité © Wikimedia.org – Steve Jurvetson Zoom sur : la cryptographie postquantique 16/12/2020 Actualité © Inria – Photo D. Betzinger Quels sont les principaux acteurs de l’informatique quantique ? 16/12/2020 Actualité © Flickr / Photo Pierre Metivier Quantique : une nouvelle révolution industrielle ? 16/12/2020 Actualité © Wikimedia.org – D-Wave Systems Inc. Comment fonctionne un ordinateur quantique ? 16/12/2020 Découvrez les autres équipes qui travaillent sur le même thème
16 au 17 déc. 2020 Événement Journées INS2I Nouvelles imageries : journées en hommage à Christian Barillot
19 déc. 2019 Événement Rendez-vous au Collège de France pour écouter Sylvie Boldo Lieu: Collège de France
Actualité L’Institut Polytechnique de Paris et Inria renforcent leur leadership dans le numérique et l’IA 13/01/2021
Actualité © Inria – Photo D. Betzinger Quels sont les principaux acteurs de l’informatique quantique ? 16/12/2020
Actualité © Flickr / Photo Pierre Metivier Quantique : une nouvelle révolution industrielle ? 16/12/2020
Actualité © Wikimedia.org – D-Wave Systems Inc. Comment fonctionne un ordinateur quantique ? 16/12/2020