Seminaires
L'équipe GALaC organise ou participe à trois séminaires réguliers.
Séminaire d'équipe GALaC
Le séminaire d'équipe de GALaC est organisé régulièrement le vendredi à 14h00 dans le bâtiment PCRI (650) au LISN. Séminaires récents et à venir
Séminaire de Combinatoire du Plateau de Saclay
Le séminaire combinatoire du plateau de Saclay est organisé un lundi sur deux à 15 h conjointement par l'équipe du Combi du LIX et l'équipe GALaC. Si vous souhaitez donner un exposé ou recevoir les annonces, merci de contacter l'un des organisateurs : Marie Albenque (LIX) Vincent Pilaud ...
Séminaire d'Algorithmique du plateau de Saclay
Le séminaire d'algorithmique du plateau de Saclay est organisé toutes les deux semaines, le vendredi après-midi au LIX. Séminaires récents et à venir
The Domino problem on rhombus-shaped tiles.
summary: The word tiling is a name for several models: geometrical tilings, where you tile the plane with geometrical shapes like a jigsaw puzzle; and symbolic tilings, where you tile the plane while matching colors on the edges of tiles. You can use both kinds of constraints; a well-known example ...
TBA
summary: TBA
TBA
summary: TBA
Une généralisation de la correspondance RSK via des représentations de carquois (de type A)
La correpondance de Robinson-Schensted-Knuth est une bijection partant des matrices d'entiers naturels vers les paires de tableaux de Young semi-standards. Une version généralisée donne une bijection entre des remplissages d'un tableau d'une certaine forme, et les partitions planes renversés de la même forme.
D'un point de ...
Quantifiying the robustness of dynamical systems: relating time and space to length and precision
summary: Reasoning about dynamical systems evolving over the reals is well-known to lead to undecidability. In particular, it is known there cannot be decision procedures for first-order theories over the reals, or decision procedures for state reachability. However, various results in the literature have shown that decision procedures exist when ...
Graph colourings, subcolourings, and beyond
summary: The graph colouring problem is central in Graph Theory: it consists in colouring the vertices of a graph such that each colour class induces an independent set, using as few colours as possible. While very difficult to solve exactly, the problem and its worst cases are now understood quite ...
Translations: en