L'invité du séminaire sera Alexei GRINBAUM, philosophe et physicien. Chercheur au laboratoire Larsim du CEA-Saclay, il est spécialiste de l’information quantique. Depuis 2003, il s'intéresse aux questions éthiques liées aux […]
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 […]
