RAIM 2023
LoriaLes 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 […]
5 évènements found.
-
-
-
Soutenance de thèse de Rosalie Defourné (Mosel-VeriDis)
A008Rosalie 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 […]
-
PhD Defense: Liam Cripwell (Synalp)
A008Liam 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 […]
-
PhD Defense: Prerak Srivastava (Multispeech)
A008Prerak 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 […]
-
Colloquium du Loria : Yves Lepage
Amphithéâtre du LoriaLe prochain colloquium du Loria aura lieu le mercredi 15 novembre à 13h30 dans l'amphithéâtre. Nous aurons le plaisir d'accueillir Yves Lepage, Professeur à l'Université Waseda. Analogie et données de […]
