Seminars

Links' Seminars and Public Events Add to google calendar
2019
Tue 25th Jun
10:30 am
11:30 am
Add event to google
Seminar Véronique Benzaken and Évelyne Contejean
Elles présenteront un outil qui prend en entrée une requête SQL et sa compilation par Postrgres sous forme de plan d'exécution, et démontre (avec Coq) que la requête initiale est équivalente au plan d'exécution.
Show in Google map
Lille-Salle B21
Fri 21st Jun
11:00 am
12:00 pm
Add event to google
Charles

Permanent link to this article: https://team.inria.fr/links/seminars/