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 […]
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 […]
