Valda Seminar: Cristina Sirangelo

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…

Continue reading

Valda Seminar: Anantha Padmanabha

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…

Continue reading

Valda Seminar: Marijan Soric

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…

Continue reading

Valda Seminar: Anton Gnatenko

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…

Continue reading