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 les Pôles de compétitivité BioValley France, Fibres Energivie, Hydréos, Matéralia et Véhicule du Futur. L'inscription est gratuite mais obligatoire. Vous pouvez vous inscrire dès […]
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 nouvelles technologies, notamment aux nanotechnologies, à l’intelligence artificielle et à la robotique. Il a été coordinateur pour la France de l’Observatoire européen des nanotechnologies et […]
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 s’inscrire auprès de annabelle.arenaloria.fr avant le mercredi 29 janvier. Plus Title : Analog computations are back Share this information around you ! People who are […]
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 strong pairs, projections and explicit type coercions. The calculus can be parametrized with different intersection type theories, as described in the Barendregt-Dekker-Statman book on λ-calculi with types, producing a family […]
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 European Symposium on Research in Computer Security La projection aura lieu le jeudi 6 février, à 13h30, dans l'amphithéâtre du Loria. Titre : The Insecurity […]
