Agenda

Département
Langue
Date
Thématique
2025

juin

  • 14:00
    15:00

    Alternating timed automata (ATA) are an extension of timed automata where the effect of each transition is described by a positive boolean combination of (state-reset) pairs. Unlike classical timed automata, ATAs are closed under complementation and are therefore amenable to logic-to-automata translations. Several timed logics, including Metric Temporal Logic (MTL), can be converted to equivalent 1-clock ATA (1-ATAs). But currently, tools for model checking timed systems don't use 1-ATAs directly in computation, and instead use sophisticated conversions to timed automata instead. A reason for this could be that zone-based methods don't exist for 1-ATAs, unlike those extensively studied for TAs.

    Our goal is to initiate the study of zone-based algorithms directly for 1-ATAs. We first introduce a deactivation operator to the 1-ATA syntax, and using it define the class of bounded 1-ATAs. We then define a zone-based emptiness algorithm for 1-ATAs, and look closely at the entailment relation that guarantees the termination of this algorithm.

    This is a joint work with B. Srivathsan and Patricia Bouyer that was accepted at FoSSaCS 2025.

    Labri, 178
  • 11:00
    12:00

    Antoine Toullalan (LITIS)

    Title: The Shortest Temporal Exploration Problem

    Abstract:

    A temporal graph is a graph for which the edge set can change from one time step to the next. This paper considers undirected temporal graphs defined over L time steps and connected at each time step. We study the Shortest Temporal Exploration Problem (STEXP) that, given all the evolution of the graph, asks for a temporal walk that starts at a given vertex, moves over at most one edge at each time step, visits all the vertices, takes at most L time steps and traverses the smallest number of edges. We prove that every constantly connected temporal graph with n vertices can be explored with O(n^{1.5}) edges traversed within O(n²) time steps. This result improves the upper bound of O(n²) edges for an exploration provided by the upper bound of time steps for an exploration which is also O(n²). Morever, we study the case where the graph has a diameter bounded by a parameter k at each time step and we prove that there exists an exploration which takes O(n²) time steps and traverses O(kn) edges. Finally, the case where the underlying graph is a cycle is studied and tight bounds are provided on the number of edges traversed in the worst-case if L≥2n-3.

    The talk will be in English

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

    LaBRI salle 178 - lien visio https://webconf.u-bordeaux.fr/b/arn-4tr-7gp
  • 10:00
    14:00

    À l’ère du numérique, où la prolifération des contenus texto-auditifs redéfinit les modes de communication, l’analyse des dynamiques médiatiques multilingues devient un enjeu scientifique fondamental. Les interactions humaines, qu’elles soient écrites ou orales, se déploient désormais dans un enchevêtrement linguistique complexe, intégrant des expressions informelles, dialectales et des discours en alternance codique. Face à cette fragmentation linguistique, il devient impératif de concevoir des approches avancées capables de structurer, d’interpréter et d’exploiter ces flux massifs d’informations. Cette thèse se positionne au croisement de trois axes majeurs : l’extraction des tendances discursives, la transcription automatique multilingue et l’analyse des sentiments dans des scénarios linguistiques informels. En réponse à ces enjeux, nous proposons une nouvelle approche pour décoder les dynamiques thématiques en s’appuyant sur des modèles probabilistes (LDA, HDP) couplés à des modèles prédictifs séquentiels (ARIMA), afin d’extraire les tendances latentes et de modéliser les dynamiques temporelles sous-jacentes, tout en analysant l’évolution des préoccupations sociétales. Ensuite, nous introduisons un système hybride de transcription automatique multilingue et de détection de mots-clés en discours continu, s’appuyant sur une architecture intégrant des versions optimisées de Whisper (FasterWhisper et WhisperX), associées aux modèles de détection d’activité vocale (Silero VAD et Pyannote VAD), garantissant une meilleure résilience face aux variations linguistiques et contextuelles. Par ailleurs, nous associons des réseaux neuronaux résiduels (ResNet-18, ResNet-152) avec des embeddings acoustiques (MFCC) et contextuels (M-BERT) afin d’optimiser l’identification rapide des informations critiques en situation d’urgence. 
    Enfin, l’objectif est de proposer une stratégie d’analyse des sentiments dans des contenus multilingues, où les échanges dialectaux et en alternance codique, caractérisés par des ambiguïtés sémantiques, complexifient l’interprétation et représentent un défi inédit. Pour y répondre, une architecture hybride combinant des réseaux neuronaux bi-directionnels profonds (Bi-LSTM) et une approche d’apprentissage par ensemble (AdaBoost-SVM), intégrant une pondération adaptative des coûts, permet d’améliorer la précision de la classification des opinions, tout en atténuant les biais liés aux déséquilibres des corpus explorés.

     

    Amphi 3 (Bât A9)
  • 14:00
    17:00

    Ce travail comporte deux parties indépendantes, qui traitent toutes deux des graphes. Un graphe est un ensemble de points appelés sommets, qui peuvent être voisins (adjacents) ou non. Dans la première partie, on étudie comment rendre des graphes “irréguliers”, c’est à dire comment les transformer pour que deux sommets adjacents puissent être distingués par le nombre de leurs voisins. Dans la deuxième partie, on étudie des graphes qui modélisent des réseaux qui doivent être capables de surveiller les défaillances dans les connexions. Le problème principal est de trouver un ensemble de surveillance d’arêtes, à savoir, un ensemble de nœuds du réseaux, appelés sondes, aussi petit que possible tel que, si une connexion du réseau échoue, alors la latence d’une communication entre deux sondes change. En termes de graphes, cela veut dire que si une arête est supprimée, alors la distance entre deux 
    sondes change.

     

    Amphi LaBRI
  • 11:00
    12:00

    Maria Kokkou (LIS)

    Self-stabilisation

    Title: TBA

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

    LaBRI salle 178 - lien visio https://webconf.u-bordeaux.fr/b/arn-4tr-7gp
  • 14:00
    18:00

    Cette thèse explore les structures locales en combinatoire, en se concentrant sur la compréhension de la façon dont les configurations locales influencent les propriétés et les structures globales des objets combinatoires. Cette thèse est divisée en quatre parties, chacune examinant différents problèmes liés aux structures locales : reconstruction de la distance, saturation du poset, encastrement de l'étalement et structures universelles.
    Dans le chapitre relatif à la reconstruction des distances, nous cherchons à reconstruire un graphe inconnu à l'aide d'informations locales. Nous n'avons accès qu'à un oracle fournissant les distances de plus court chemin entre les paires de sommets.
    Nous étudions ce problème pour différentes classes de graphes, en améliorant les bornes inférieures et supérieures les plus connues dans différents cas. En particulier, nous fournissons un algorithme optimal pour reconstruire les arbres et un algorithme quasi-optimal pour reconstruire les graphes sans longs cycles induits.
    Ensuite, nous étudions la saturation des posets, introduite par Katona et Tarjan en 1981. Ce concept prolonge les travaux fondateurs de Turán dans la théorie des graphes extrémaux. Une famille saturée P est une famille maximale qui évite toute sous-structure localement isomorphe à P (c'est-à-dire qui évite P en tant que sous-ensemble induit). Nous étudions le nombre de saturation d'un poset P, défini comme la taille minimale d'une famille saturée P incluse dans l'hypercube de dimension n. Malgré un travail substantiel sur ce problème ces dernières années, le nombre de saturation n'est connu exactement que pour les petits posets, et ses comportements possibles sont encore largement inconnus. Dans cette thèse, nous montrerons qu'une extension d'un lemme de Lehman et Ron nous permet de calculer exactement le nombre de saturation de l'antichaîne de taille k. Nous prouverons également la première borne supérieure générale sur le comportement possible du nombre de saturation pour n'importe quel poset P.
    Dans le chapitre sur l'étendue, nous étudions la distribution des arbres couvrants dans les graphes denses. Cela peut sembler, à première vue, loin d'être local, puisqu'une structure « couvrante » est par définition globale, mais la technique clé que nous avons développée pour construire ces structures couvrantes globales passe par la subdivision en de multiples sous-structures locales. Grâce à cette nouvelle méthode, nous sommes en mesure de fournir une preuve plus simple et plus souple de l'existence d'encastrements étalés pour les arbres à degré borné. En particulier, notre approche n'utilise pas le lemme de régularité de Szemerédi.
    Enfin, nous étudions les structures universelles. Etant donné une famille F d'objets combinatoires et un entier n, un autre objet U est dit universel s'il contient chaque élément de F de taille n en tant que sous-structure locale. Nous appelons une telle structure "fidèle" lorsque U fait également partie de F. Dans ce chapitre, nous étudions la taille minimale des graphes universels fidèles pour les classes de graphes fermés mineurs ainsi que la taille des posets universels pour la famille de tous les posets.

     

    Amphi LaBRI