Loading Events

Past Events › Séminaire

Events Search and Views Navigation

Event Views Navigation

February 2020

Séminaire du D2 par Luigi Liquori

5 February 2020 @ 11:00 am - 12:30 pm

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 »

Séminaire SSL par Adi Shamir

6 February 2020 @ 13:30 pm - 15:30 pm

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 »

March 2020

Séminaire SSL par Emmanuel Thomé

12 March 2020 @ 13:30 pm - 15:00 pm
A008

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 »

June 2020

Séminaire philo-info : 4ème session

15 June 2020 @ 16:00 pm - 17:00 pm

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 »

July 2020

Séminaire philosophie-informatique

6 July 2020 @ 16:00 pm - 18:00 pm

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 »
+ Export Events

Logo d'Inria