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)
- Date
- Le mardi 31 janvier 2017 à 11:00
- Lieu
- Amphi Chemla, Institut d'Alembert, ENS Cachan
- Orateur
- Kim Nguyễn (LRI)