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 […]
Liam Cripwell (Synalp) will defend his thesis, entitled "Controllable and document-level text simplification", on Friday, November 10th at 3 p.m. am in room A008. Abstract : Text simplification is a […]
Prerak Srivastava (Multispeech) will defend his thesis, entitled "Realism in Virtually Supervised Learning for Acoustic Room Characterization and Sound Source Localization", on Monday, November 13th at 10 am in room […]
