La réunion de lancement du projet Expand aura lieu les 31 mars et 1er avril 2026 à Inria Paris, salle Paul Erdös.
Mardi 31 mars
- 9h00 – 9h50 : accueil des participants
- 10h00 – 10h15 : présentation générale du projet
- 10h15 – 11h00 : présentation des sujets de thèse, session 1 (Clermont/Rennes + Lille/Montpellier)
- 11h00 – 11h45 : Linear Time Evaluation of Conjunctive Queries under TGD Constraints, exposé de Nofar Carmeli
- 12h00 – 14h00 : déjeuner au « Temps des cerises », 18-20 rue de la Butte-aux-Cailles
- 14h00 – 14h45 : Temporal Reasoning using Equations over Integer Sets, exposé d’Anton Gnatenko
- 14h45 – 15h30 : Recent Developments on InteGraal, par Jean-François Baget
- 15h30 – 16h00 : pause café
- 16h00 – fin de journée : organisation du projet
- 18h00 – fin de journée, bis : jeux et apéritif, puis dîner à La Felicità, 5 parvis Alan Turing, 75013 Paris (l’endroit ne prend pas de réservation pour les « petits groupes » comme le nôtre, mais il est assez grand pour nous accueillir facilement)
Mercredi 1er avril
- 9h30 – 10h15 : Small Witnesses for RPQs, exposé d’Antoine Amarilli
- 10h15 – 10h40 : propositions de projets de thèse, session 2 (Bordeaux/Paris + Montpellier)
- 10h40 – 11h00 : pause café
- 11h00 – 11h45 : The Shapley Value in Databases and Ontologies, exposé de Meghyn Bienvenu
- 12h00 – 14h00 : déjeuner au « Temps des cerises », 18-20 rue de la Butte-aux-Cailles
- 14h00 – 15h00 : séance « Make a Wish »
- 15h00 – 15h45 : Data Complexity of Querying Description Logic Knowledge Bases under Cost-Based Semantics, exposé de Quentin Manière
- 15h45 – 16h30 : First-Order Rewritable Sets of Existential Rules: Computability of Membership and Complexity of Reasoning, exposé de David Carral