Recherche

Paul Lascabettes, post-doctorant à l'Université de Strasbourg, donnera un séminaire intitulé : « Une approche pour la découverte de motifs musicaux

(Uniquement en présentiel / Only offline, no online version) A geometric graph G is a graph drawn in the Euclidean plane such that its vertices are

Ce guide s'adresse d'abord aux étudiants et (nouveaux) chercheurs du LaBRI pour leur donner les points d'accès principaux aux ressources documentaires
Les assistants de preuve sont particulièrement utiles dans la vérification de composants matériels ou logiciels, et ce pour des propriétés

/Exposé en anglais/Talk in english/ We prove that every finite colouring of the plane contains a monochromatic pair of points at an odd distance from

Michael Raskin (LaBRI) Title: Giant Components in Random Temporal Graphs Abstract: A temporal graph is a graph whose edges appear only at certain

Sébastien Bouchard Title: Universal Exploration Sequences and Undirected s-t Connectivity (continued) Abstract: Undirected s-t connectivity (USTCON)

Timothé Picavet (doctorant du département CombAlgo, équipe GO) et ses collègues, ont un papier accepté à ICALP’25.

**Enumerating Regular Languages in Bounded Delay** We study the task, for a given language L, of enumerating the (generally infinite) sequence of its

Clara Marcille soutiendra sa thèse, le 24 juin 2025 à 14h, Amphi du LaBRI. L’intitulé de sa thèse est : « Problèmes de Distinction et de Détection