Links' Seminars and Public Events |
Tue, June 25, 2019 11:30 am 5:30 pm | Happy Hours Inria Lille |
Tue, June 25, 2019 10:30 am 11:30 am | 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. Lille-Salle B21 |