Valda — Value from data

Valda Seminar: Pierre Senellart
7 February 2025, 11:00-12:00. ENS, room S16/FS101 (Aile Rataud, level -1). ProvSQL: A General System for Keeping Track of the Provenance and Probability of Data We present the data model, design choices, and performances of ProvSQL, a general and easy-to-deploy provenance tracking and probabilistic database system implemented as a PostgreSQL…
Valda Seminar: Anton Gnatenko
11 October 2024, 10:30-11:30. ENS, room S16. Datalog boundedness over temporal databases Abstract: We augment datalog with operators of linear temporal logic in order to query dynamic structures where relationships between objects change over time (e.g., in social network graphs, friendships may break but may later be restored). Unlike standard…
PhD Defense: Shrey Mishra
Multimodal Extraction of Proofs and Theorems from the Scientific Literature Thursday, July 4th, 2024 at 13:45 in Amphi Jaurès, 29 rue d’Ulm, Paris The PhD will be defended in front of a committee formed of: Elena Cabrio (Université Côte d’Azur), Reviewer Mohammed Hasanuzzaman (Queen’s University Belfast), Examiner Jean Ponce (ENS-PSL…
Valda Seminar: Alexandra Rogova
9 February 2024, 10:30-11:30. ENS, room S16. Property Graph Languages Abstract: The development of practical query languages for graph databases runs well ahead of the underlying theory. The ISO committee in charge of database query languages is currently developing a new standard called Graph Query Language (GQL), the main component…