Equipe-projet STAMP • Sûreté du logiciel et Preuves Mathématiques Formalisées L'équipe-project STAMP s'intéresse à la vérification formelle d'algorithmes et de résultats...
Calcul formel Certifier l’exactitude, la sécurité et la fiabilité des logiciels : Swarn Priya lauréate du prix L’Oréal-UNESCO 2023 09/10/2023
Prix & Distinctions Alesia Herasimenka, Swarn Priya et Margaux Zaffran : trois lauréates du prix L’Oréal-UNESCO "Pour les Femmes et la Science" 09/10/2023
14 septembre 2023 Communication / Événement Le Centre Inria d'Université Côte d'Azur fait son festival à Cannes pour célébrer ses 40 ans Lieu : Palais des festivals
