Le séminaire Vérification et Preuves

Le séminaire SVP a lieu tous les deux mois, en alternance entre le LRI et le LSV. Le séminaire est public et ne nécessite aucune inscription préalable.

Séminaires passés

A principled approach to language-integrated queries (Quelques lambdas dans un monde de brutes)

 Kim Nguyễn
Date
Le mardi 31 janvier 2017 à 11:00
Lieu
Amphi Chemla, Institut d'Alembert, ENS Cachan
Orateur
Kim Nguyễn (LRI)


À propos du LSV