La prochaine édition du Forum FCH-Entreprise aura lieu le jeudi 23 janvier 2020 dans nos locaux. Il est constitué d’une alternance de séances plénières et d’ateliers organisés en partenariat avec […]
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 […]
