A l'initiative du Service pour la Science et la Technologie de l'Ambassade de France aux Etats-Unis , une nouvelle édition du programme FADEX (French American Doctoral EXchanges) en cybersécurité se […]
Le séminaire "Strategies for antifungal development: hit to lead against new molecular targets" de la professeure Maria Sueli Felipe de l'Université de Brasilia, organisé par l'équipe Capsid, aura lieu mardi […]
La deuxième édition des assises universitaires droit et cybersécurité aura lieu le jeudi 26 octobre 2023 au Centre de congrès Prouvé de Nancy. Programme complet et inscriptions. Organisée par la […]
Les Rencontres Arithmétiques du GdR Informatique Mathématique (RAIM) abordent les problèmes liés à l’arithmétique et se rapportant aux thématiques du GT Arith du GdR IM : arithmétique des ordinateurs, validation numérique […]
Rosalie Defourné (Mosel-VeriDis) soutiendra sa thèse intitulée "Encodages de la théorie des ensembles de TLA+ pour la preuve automatique", le 7 novembre à 14h en salle C005. Résumé : Cette […]
