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 […]
5 évènements found.
-
-
-
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 […]
-
Rendez-vous Nancy Numérique : Regards croisés autour de la cybersécurité
Nancy Numérique organise le 6 février de 18h30 à 20h un rendez-vous à l'Atelier Numérique Google autour de la cybersécurité. Au cours de ce rendez-vous, Jean-Yves Marion (Loria), Clément Joliot […]
-
IA Now
Metz TechnopôleLe 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 […]
-
Matinée « Carrières scientifiques et femmes »
À l’occasion de la journée internationale des femmes et filles de science déclarée par l’UNESCO, le CNRS organise une matinée « Carrières scientifiques et femmes » le mardi 11 février […]
