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
Une nouvelle description des treillis m-cambriens
summary:
Les treillis cambriens, introduits par N. Reading en 2006, sont une généralisation du treillis de Tamari, à tout choix d'élément de Coxeter, dans tout groupe de Coxeter fini. Le treillis de Tamari correspond au "type A linéaire". Ces ordres partiels admettent plusieurs descriptions, non trivialement équivalentes. Celles-ci donnent ...
Proper conflict-free colourings of graphs
summary: Given a graph G of maximum degree Δ, the proper colouring problem asks for the minimum number of colours that can be assigned to the vertices of G such that no pair of adjacent vertices are given the same colour; it is easy to show that at most \(\Delta ...
Alternating and nondeterministic plane-walking automata
summary: Plane-walking automata were introduced by Salo & Törma to recognise languages of two-dimensional infinite words (subshifts), the counterpart of 4-way finite automata for two-dimensional finite words. We extend the model to allow for nondeterminism and alternation of quantifiers. We prove that the recognised subshifts form a strict subclass of sofic ...
Translations: fr