Multimodal Extraction of Proofs and Theorems from the Scientific Literature Thursday, July 4th, 2024 at 13:45 in Amphi Jaurès, 29 rue d’Ulm, Paris The PhD will be defended in front of a committee formed of: Elena Cabrio (Université Côte d’Azur), Reviewer Mohammed Hasanuzzaman (Queen’s University Belfast), Examiner Jean Ponce (ENS-PSL…
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…
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,…
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…
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…
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…
Antoine Amarilli, Pierre Bourhis, Mikaël Monet, Pierre Senellart. Evaluating Datalog via Tree Automata and Cycluits. Theory of Computing Systems.
Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo and Federico Ulliana. On Chase Termination for Linear Existential Rules. Silviu Maniu, Pierre Senellart and Suraj Jog. An Experimental Study of the Treewidth of Real-World Graph Data.
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…
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…
