La vidéothèque de l'UL : 9242 vidéos // 701 collections

  • Accueil
  • Connexion
Interview
Reportages
Documentaires
Actualités
Témoignages
Conférences
Bandes Annonces
Cours
Film d'étude

Joël Ouaknine: professeur à l'Université d'Oxford et directeur scientifique du Max Planck Institute for Software Systems. Son exposé s'intitulera : “P

Durée : 1h 02m 39s / Nombre de vues : 585

Joël Ouaknine, professeur à l'Université d'Oxford et directeur scientifique du Max Planck Institute for Software Systems.

Son exposé s'intitulera : “Program Invariants".

  • Informations
  • Partager
  • Intégrer

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.

Date de réalisation : 16-05-2019

Date de dépôt : 16-05-2019

Type(s) de vidéo :

Structure(s) :

Thématique :

Collection :

< >

Réalisateur(s) : Université de Lorraine

Réseaux sociaux :
FacebookGoogle plusGoogle plus

Ou

Copier le contenu de la zone de texte puis le coller dans la page



x

Collections

Recherche avancée

Prochains directs

L'opérette viennoise (le 19-01-2021 de 14:30:00 à 15:30:00)
Les Nuits de la lecture 2021 (le 21-01-2021 de 11:30:00 à 18:30:00)
© 2020 Université de Lorraine | Contact