# GALaC team seminar

The GALaC team seminar is organized on a regular basis on Friday at 14:00 in the PCRI building (650) at LISN.

## Recent and up-coming seminars

## 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

## 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 ...

## Games on Tilings

summary: Given a finite set A of colors and a finite set of target

patterns F, to know if one can tile the infinite grid avoiding

patterns in F is the domino problem. This problem can be seen as a

one-player game, where the goal for the player is to ...

Translations: fr