Recherche et navigation de vues Évènements

Navigation de vues Évènement

Aujourd’hui

  • Séminaire Département 3

    Le Département 3 a le plaisir de proposer un talk de Sounak Kar, TU Delft, intitulé On Efficiency and Fairness of Resource Distribution in Quantum Repeater Networks. En visio sur https://u2l.fr/sounak

  • Théâtre Scientifique au Lycée

    Lycée Condorcet Schoeneck

    Le Procès du Robot est un format original mêlant sciences, société… et théâtre d’impro ! Un moment d’échanges et de réflexions autour des grands enjeux de l'IA et ses applications quotidiennes… https://iww.inria.fr/NanSciNum/theatre-scientifique/le-proces-du-robot/

  • Colloquium du Loria : Laura Kovács

    Amphithéâtre du Loria

    The Loria is proud to announce a colloquium presentation by Laura Kovács on Induction and synthesis in saturation-based theorem proving. Laura Kovács is a professor at the Faculty of Informatics of Vienna University of Technology (Vienna, Austria) and a leading researcher in the field of automated reasoning and symbolic computation. Abstract: Proof by induction is […]

  • Le Procès du Robot

    lycée Chopin Nancy

    Le Procès du Robot est un format original mêlant sciences, société… et théâtre d’impro ! Le tout à destination de classes de secondes en lycée. Un moment d’échanges et de réflexions autour des grands enjeux de l'IA et ses applications quotidiennes… https://iww.inria.fr/NanSciNum/theatre-scientifique/le-proces-du-robot/

  • Séminaire réflexions : démonstration, rigueur et formalisation

    IECL Institut Élie Cartan de Lorraine

    Le « Séminaire réflexions », est commun aux Archives Henri Poincaré, à l’Institut Élie Cartan de Lorraine et au Loria et a pour but est de proposer des exposés d’intérêt général. Alexandre Afgoustidis (IECL), Alain Genestier (IECL) et Yacin Hamami (AHP) organisent cette année autour du thème « Démonstration, rigueur et formalisation. » Ces dernières […]