Évènements

Recherche et navigation de vues Évènements

Navigation de vues Évènement

Aujourd’hui

  • « Strategies for antifungal development: hit to lead against new molecular targets » Séminaire de Maria Sueli Felipe (Université de Brasilia)

    A008

    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 24 octobre à 14 h en salle A008. Résumé sur la professeure Maria Sueli Felipe : Maria Sueli Felipe has chemistry and molecular biology/biochemistry experience […]

  • Assises universitaires droit et cybersécurité

    Centre de congrès Prouvé

    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 Faculté de Droit de Nancy (Université de Lorraine) et le Loria (CNRS, Inria, Université de Lorraine), en partenariat avec la Région Grand Est, Grand E-nov, […]

  • RAIM 2023

    Loria

    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 et preuve formelle, calcul scientifique, cryptographie… Ces rencontres auront lieu au LORIA du lundi 6 novembre 14h au mercredi 8 novembre à midi. Plus d'informations […]

  • Soutenance de thèse de Rosalie Defourné (Mosel-VeriDis)

    A008

    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 thèse porte sur TLA+, un langage de spécification fondé sur la logique temporelle et la théorie des ensembles non typée. TLA+ est principalement utilisé dans […]

  • PhD Defense: Liam Cripwell (Synalp)

    A008

    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 task that involves rewriting a text to make it easier to read and understand for a wider audience, while still expressing the same core meaning. […]