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

Continue reading

PhD Defense Rehearsal: Shufan Jiang

12 December 2022, 14:00-15:30. ENS, Hauts du DI. Intégration de données textuelles pour la détection des risques naturels en agriculture Agriculture is entering the digital age through data (which opens up precision agriculture) or knowledge (which opens up new decision support tools). Modern technologies and IoT devices have been applied…

Continue reading

Valda Seminar: Leonid Libkin

Leonid Libkin, University of Edinburgh 28 January 2019, 14:30-15:30 Inria, 2 rue Simone Iff, 75012 Paris, building C, room Jacques-Louis Lions 2 Can We Trust SQL as a Data Analytics Tool? Multiple surveys show that SQL and relational databases remain the most common tools used by data scientists. But can…

Continue reading

Karima Rafes’s PhD Defense

Karima’s thesis, entitled “Linked Data at university: the LinkedWiki platform” will take place on Friday, January 25, 2019 at 14:30 at Bât 650 Ada Lovelace of the LRI, Laboratoire de Recherche en Informatique, in the room “Salle des thèses”. The defense will be in French. The jury is composed by…

Continue reading

Valda Seminar: Jill-Jênn Vie

Jill-Jênn Vie, RIKEN AIP (Tokyo) 21 December 2018, 10:30-11:30 ENS, S16 Knowledge Tracing Machines – Factorization Machines for Knowledge Tracing Knowledge tracing is a sequence prediction problem where the goal is to predict the outcomes of students over questions as they are interacting with a learning platform. By tracking the…

Continue reading

Valda Seminar: David Carral

David Carral, TU Dresden 14 December 2018, 10:30-11:30 ENS, S16 Reasoning over Existential Rules with Acyclicity Notions The chase is a sound and complete (albeit non-terminating) algorithm for conjunctive query answering over ontologies of existential rules. On the theoretical side, we develop sufficient conditions to guarantee its termination (i.e., acyclicity…

Continue reading