Agenda

Département
Langue
Date
Thématique
2025

décembre

  • 11:00
    12:00

    Mouna Safir (ENS Lyon)

    Title: Self-Stabilizing Mutual Exclusion in Dynamic Networks with Bounded Temporal Diameter

    Abstract:

    We consider distributed systems subject to frequent topological changes. Specifically, we assume the network topology evolves as a dynamic graph in which, at any point in time, the temporal distance between any two processes is at most Δ.

    In this setting, where processes have unique identifiers and know both Δ and an upper bound N on the system size n, we introduce a self-stabilizing solution to the mutual exclusion problem.

    Our algorithm stabilizes in O(NΔ) rounds, uses bounded memory, and once converged guarantees an optimal waiting time of n−1 rounds before a process can enter its critical section.

    The solution is built from three self-stabilizing algorithms: Leader Election, Unison, and Ranking. We contribute new self-stabilizing algorithms for Unison and Ranking, and we combine them with a recent leader election protocol from Altisen et al. (TCS 2023).

    https://algodist.labri.fr/index.php/Main/GT

    Français
    LaBRI 178
  • 14:00
    15:00

    to be announced

    Français
    LaBRI, salle 178
  • 12:45
    13:45

    Mohamed Mosbah (Bx INP, LaBRI) donnera un séminaire, le 04 Mos
     

    Amphi LaBRI
  • 14:00
    17:00

    Composition du jury :

    - Robert ROSS, Deputy Division Director/ Senior Computer Scientist, Argonne National Laboratory (Etats-Unis) - Rapporteur
    - Jesus CARRETERO, Full professor, Universidad Carlos III de Madrid (Espagne) - Rapporteur
    - Gabriel ANTONIU, Directeur de recherche, Inria - Rapporteur
    - Thomas HERAULT, Directeur de recherche, Inria - Examinateur
    - Vania MARANGOZOVA, Professeure des universités, Université Grenoble Alpes - Examinatrice
    - Julien KUNKEL, Professor, University of Göttingen (Allemagne) - Examinateur
    - Brice GOGLIN, Directeur de recherche, Inria - Directeur de recherche 
     

    Salle Ada Lovelace (Inria)
  • 15:30
    18:30

    Clément Gaspard soutiendra sa thèse, le 08 décembre 2025 à 15h30, dans l’amphi 2 du Bât 2A de l’IUT de Bordeaux (Gradignan).
    L’intitulé de sa thèse est : « Locomotion, planification de pas et résistance aux chutes des robots humanoïdes via des politiques d’apprentissage par renforcement ».
     

    Amphi 2 Bât 2A (IUT de Bx, Gradignan)
  • 14:00
    17:00

    L’adoption du dossier patient informatisé a considérablement amélioré l’accès à de vastes volumes de données cliniques. Si cet accès constitue une ressource précieuse pour les soins comme pour la recherche, il soulève néanmoins de nouveaux défis liés à la complexité des données médicales. Parmi ces défis figurent leur caractère implicite (dont l’interprétation reste difficile sans expertise médicale), leurs imperfections telles que l’incohérence, l’incertitude et l’incomplétude, ainsi que leur dimension temporelle intrinsèque. Cette thèse explore comment des approches fondées sur la logique peuvent remédier à ces difficultés.
    Dans un premier temps, j’ai étudié une approche ontologique afin d’illustrer l’apport des ontologies dans l’évaluation de la qualité des données médicales, en particulier pour le phénotypage des cancers du poumon. Cette approche a consisté à concevoir une ontologie pour formaliser les connaissances essentielles du domaine et l’exploiter pour interroger l’entrepôt de données de santé du CHU de Bordeaux. Ce travail a permis de mettre en évidence les apports des ontologies pour la représentation des connaissances et la détection d’incohérences, tout en soulignant certaines limites, notamment en ce qui concerne la gestion des incohérences temporelles dans les données de santé.
    Fort de cette première expérimentation, j’ai ensuite proposé un nouveau framework logique pour l’inférence d’événements cliniques de haut niveau à partir de données temporelles, en cohérence avec le raisonnement et la prise de décision cliniques. Ce framework définit des règles logiques exprimant les conditions d’existence d’un événement à un instant donné, ainsi que, de façon optionnelle, des conditions de terminaison signalant sa fin potentielle. Deux méthodes d’agrégation permettent ensuite de construire des intervalles d’événements à partir de ces conditions. Le formalisme introduit également la notion de méta-événements, obtenus par combinaison ou généralisation d’autres événements, et intègre des niveaux de confiance ainsi qu’un mécanisme de réparation pour traiter les imperfections inhérentes à la détection des événements. Pour valider l’intérêt de ce framework, j’ai implémenté ses composants principaux en Answer Set Programming. Le système obtenu, CASPER, a été évalué sur deux cas d’usage médicaux, démontrant à la fois sa faisabilité computationnelle et sa concordance avec l’avis d’experts médicaux.
     

    Amphi LaBRI
  • 15:30
    16:30

    Locomotion, step planning, and fall resistance in humanoid robots via reinforcement learning policies

    Français
    Amphi 2 Bat A IUT Gradignan
  • 14:00
    15:00

    Title: On some extensions of First-Order logic on graphs

    Abstract: In this talk we present a landscape of extensions of first-order logic (on graphs) and we discuss their expressive power and algorithmic results related to them. These extensions involve either additional predicates expressing different types of connectivity or the quantification over vertex sets that are (in a sense) of simple structure.

    Français
    178
  • 14:30
    18:00

    Chabname Ghassemi Nedjad soutiendra sa thèse, le 11 décembre 2025 à 14h30, dans l’amphi du LaBRI.
    L’intitulé de sa thèse est : « Modélisation et résolution de problèmes d’optimisation combinatoire pour l’écologie inversée ».
     

    Amphi LaBRI
  • 11:00
    12:00

    Hussein Kazemi (LaBRI)

    Title: Trajectory visibility at first sight

    Abstract:

    Let P be a simple polygon with n vertices, and let two moving entities q(t) and r(t) travel at constant (possibly distinct) speeds vq and vr along line-segment trajectories τq and τr inside P. We study the exact first-visibility time t∗= min t≥0: q(t) r(t) ⊆P, the earliest moment at which the segment joining q(t) and r(t) lies entirely within P.

    Prior work by Eades et al. focused on this question in the setting of a simple polygon. They gave a one-shot decision algorithm running in O(n) time. For a stationary entity and a moving one, they suggested a structure that, after O(n log n) pre-processing, answers the decision query in O(log n) time, requiring O(n) space. In addition, for moving entities, after preprocessing time of O(n log⁵ n), they construct a data structure with O(n^{3/4} log³ n) query time and O(n log⁵ n) space. Variants for polygonal domains with holes or when entities cross the boundary of P lie beyond our scope.

    In this work, we go beyond the decision to compute t* exactly under three models for a simple polygon P. When both trajectories are known in advance, we preprocess P in O(n) time and space and thereafter answer each query in O(log n) time. If one trajectory τr is fixed while τq is given as query, we build a structure in O(n log n) time and space that computes t∗in O(log² n) time per query. In a setting where the trajectories are not known in advance, we develop a randomized structure with O(n^{1+ε}) expected pre-processing time and O(n) space, achieving an O(√n polylog(n)) expected query time for any fixed ε > 0.

    https://algodist.labri.fr/index.php/Main/GT

    Français
    LaBRI 178