• Séminaire du D2 par Luigi Liquori

    Title : "Why reductions have to be synchronised in intersection (and union) typed lambda-calculi ?" Luigi Liquori, Inria Sophia-Antipolis   Abstract: We present the ∆-calculus, an explicitly typed λ-calculus with […]

  • Séminaire SSL par Adi Shamir

    Le prochain séminaire sera un peu particulier puisqu'il s'agira de la projection de l'exposé invité donné en septembre par Adi Shamir dans le cadre de la conférence Esorics 2019. The […]

  • IA Now

    Metz Technopôle

    Le Loria sera présent à l'événement IA_Now les 7 et 8 février à la Maison de l'entreprise du Technopôle de Metz. Le 7 février, retrouvez Régis Lhoste, project manager du […]