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
XPath with data : a uniform and effective approach through proof theory
- Date
- Le mardi 31 janvier 2017 à 10:00
- Lieu
- Amphi Chemla, Institut d'Alembert, ENS Cachan
- Orateur
- David Baelde (LSV)