Titre : La revanche du calcul analogique L'exposé sera en anglais. N’hésitez pas à partager l’information autour de vous ainsi qu’à vos étudiants ! Les personnes extérieures au laboratoire doivent […]
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 […]
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 […]
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 […]
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 […]
