Valda — Value from data

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…
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…
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…
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…