Logo UL avec lien vers le site de l'Université de Lorraine

[Colloquium Loria] Joël Ouaknine


Temps de lecture : 1 minute

Informations pratiques

Localisation : Loria Campus scientifique BP 239 Vandoeuvre-lès-Nancy
Date de début : 16/05/2019 13:30 Date de fin : 16/05/2019 14:30

Toutes les dates

  • 16/05/2019 – 13:3014:30

Tous les lieux

  • Loria

    Campus scientifique BP 239

    Vandoeuvre-lès-Nancy

Pour le prochain colloquium du Loria, nous accueillerons le jeudi 16 mai à 13h30 dans l’amphithéâtre, Joël Ouaknine, professeur à l’Université d’Oxford et directeur scientifique du Max Planck Institute for Software Systems.

Son exposé s’intitulera : “Program Invariants”.
 
Résumé :
Automated invariant generation is a fundamental challenge in program analysis and verification, going back many decades, and remains a topic of active research. In this talk I’ll present a select overview and
survey of work on this problem, and discuss unexpected connections to other fields including algebraic geometry, group theory, and quantum computing. (No previous knowledge of these things will be assumed.)
This is joint work with Ehud Hrushovski, Amaury Pouly, and James Worrell.
 
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 moi (olivia.brenner@loria.fr) avant le lundi 13 mai.