Valda — Value from data
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…
Serge 2024: An EDBT/ICDT 2024 event in the honor of Serge Abiteboul
To celebrate his scientific career and achievements, a scientific and festive event will be organized in Serge Abiteboul’s honor on the occasion of ICDT 2024 in Paestum, Italy, the 27th edition of a conference that Serge helped create in 1986, first held in Rome. The event will be held on…
Habilitation Defense: Michaël Thomazo
October 4th, 2023, 10:00, Salles des Actes, ENS, 45 rue d’Ulm, Paris. Ontology-Based Query Answering: Expressivity and Extensions Jury: Carsten Lutz, PR., Leipzig Universität (Reviewer)Marie-Christine Rousset, Prof., Université de Grenoble (Reviewer)Balder ten Cate, Ass. PR., University of Amsterdam (Reviewer)Diego Figueira, CR, CNRS/Univ. Bordeaux (Member)Luc Segoufin, DR, Inria/ENS/PSL (Member)Sophie Tison, PR,…
Valda Seminar: Avijeet Ghosh
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,…