Recherche
Titre: "ON ROBUSTNESS FOR THE SKOLEM and related PROBLEMS" Blaise Genest (IPAL, Singapore) abstract: The Skolem problem is a long-standing open
Title: Query Entailment Problem for S. Abstract: In description logic, possibly infinite structures are described via an ABox A (i.e. a basic finite
Premier séminaire de l’axe santé numérique du LaBRI : Speaker : Pablo Ugalde Salas (post-doctorant dans l’équipe Pléiade Inria) Title : Metamodelling
A Finite Discrete-time Dynamical System (DDS) consists of a finite set X, called state space, and a function f, called next-state map (which
/Soutenance de thèse/ /Présentation en anglais/P resentation in english/ Cette thèse porte sur la reconfiguration combinatoire et des problèmes
Matinée scientifique santé numérique au cours de laquelle nous accueillerons deux brillants scientifiques, Rayan Chikhi ( http://rayan.chikhi.name/)
2024 - 2023 - 2022 - 2021 - 2020 Thèses 02/12/2024 – Thibault Hilaire : « Algorithmes de couverture pour les réseaux de Petri certifiés en Coq»