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 of ∆-calculi with related intersection typed systems. We show why annotating pure λ-calculus with intersection types is not easy: a classical example is the difficulty to decorate the…
Find out more »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 of Machine Learning: Problems and Solutions Abstract : The development of deep neural networks in the last decade had revolutionized machine learning and led to…
Find out more »Le prochain séminaire SSL sera donné par Emmanuel Thomé, de l'équipe CARAMBA le jeudi 12 mars, à 13h30, en salle A008. Titre : Large-scale computational records for public-key cryptography Résumé : Joint work with Fabrice Boudot, Pierrick Gaudry, Aurore Guillevic, Nadia Heninger, Paul Zimmermann. In December 2019 and February 2020, we completed several record computations related to hard problems in public-key cryptography: we factored a 240-digit RSA modulus, we computed discrete logarithms modulo a 240-digit prime, and while we were…
Find out more »La quatrième session du séminaire philosophie-informatique aura lieu lundi 15 juin à 16h00. Il est coorganisé par les Archives Henri Poincaré (AHP-PReST) et le Loria – dans le contexte du projet OLKi. Pour participer à la réunion Zoom : cliquez ici ou composez l'ID de réunion : 954 6871 5170. Diffusion live et interactions possibles également sur Facebook. Le thème du séminaire : les politiques de la technique, autour des usages du numérique dans le contexte de la Covid 19. Les…
Find out more »La 5ème session du séminaire philosophie-informatique accueillera l'exposé de Constantine Sandis de l'University of Hertfordshire, le lundi 6 juillet 2020 à 16h00. L'exposé sera en anglais et s'intitule : "AI Intelligibility & Rights to Explanation" Pour rejoindre Zoom conference cliquer sur ce lien ou utiliser ce numéro : ID de réunion : 923 7103 0915. Consulter la page Facebook de l'événement. Résumé : The right to an explanation of automated decisions is typically described in terms of ‘providing transparency’. This…
Find out more »
