20 June 2025, 10:45-11:45. ENS, room S16/FS101 (Aile Rataud, level -1). Rel: A Programming Language for Relational Data In this talk I will present Rel, a new relational language whose key design goal is to go beyond the classical sublanguage/host-language paradigm of classical relational query languages. Rel makes it possible…
12 June 2025, 13:30-14:30. ENS, room S16/FS101 (Aile Rataud, level -1). Decidable fragments of First Order Modal Logic First Order Modal Logic extends First Order Logic with Modal Operators. Most of the decidable fragments of first order logic (like the unary predicates, two variables, guarded fragments) all become undecidable when…
23 May 2025, 10:30-11:30. ENS, room S16/FS101 (Aile Rataud, level -1). Benchmark: Extracting Table Information from Scientific Documents This seminar presents a table extraction benchmark to evaluate the performance of models to extract structured tables from scientific reports in PDF format, on heterogeneous dataset. The project aims at extracting structured…
18 April 2025, 10:30-11:30. ENS, room S16/FS101 (Aile Rataud, level -1). Ontoplex: An Ontology of Computational Complexity Everyone heard of P, NP, and the related one-million-dollars question. Database theorists are also used to “parallel computation classes”, such as AC, NC, and TC. Cryptographists love their BPP and BQP. But did…
4 April 2025, 10:30-11:30. ENS, room S16/FS101 (Aile Rataud, level -1). No Cliques Allowed: The Next Step Towards FUS/FC Conjecture Querying data sometimes calls for a logical layer between the user and the data to address challenges arising from distributed datasets, overly specific vocabulary, or incompleteness. Existential rules form an…
21 March 2025, 10:30-11:30. ENS, room S16/FS101 (Aile Rataud, level -1). Digital commons Based on : Serge Abiteboul, François Bancilhon, Vive les communs numériques ! Logiciels libres, Wikipédia, le Web, la science ouverte, etc. Odile Jacobs 2024. Open access at https://abiteboul.com/AbiteboulBancilhon/ Humans have always known how to collectively manage resources,…
21 February 2025, 10:30-11:30. ENS, room S16/FS101 (Aile Rataud, level -1). Volume Under the Surface: A New Accuracy Evaluation Measure for Time-Series Anomaly Detection Anomaly detection (AD) is a fundamental task for time-series analytics with important implications for the downstream performance of many applications. In contrast to other domains where…
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…
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…
25 September 2023, 10:30-11:30. ENS, room S16. Complexity Study of Reasoning about Knowledge and Public Observations Abstract: This talk explores the model checking and satisfiability problems in logical systems for reasoning about knowledge and observations of intelligent agents and their interactions. We examine the foundations laid by Kripke and Hintikka,…
