02/07/12
REPAS au 31
14h30-15h30	Michel RIGO	Université de Liège, Belgique	Numeration systems and morphic sequences: two frameworks, two points of view, one answer
16h00-17h00	Elise VANDOMME	Université de Liège, Belgique	Syntactic complexity of ultimately periodic sets of integers
03/07/12
9h30-10h30	Emilie CHARLIER	Université Libre de Bruxelles	A decision problem for ultimately periodic sets in non-standard numeration systems
11h00-12h00	François NICOLAS	Jena University, Allemagne	On the decidability of semigroup freeness
REPAS au rétroviseur
14h30-15h30	Alexei KANEL-BELOV	Bar-Ilan university, Israel	Periodicity of Rauzy scheme and substitutional systems
16h00-16h40	Ivan MITROFANOV		TBA
17h00-17h40	Fabien DURAND	Université de Picardie Jules Verne	Decidability of the equality of morphic sequences
04/07/12
9h30-10h30	Emmanuel JEANDEL	Marseille Université	Subshifts, languages and logic
11h00-11h40	Julien LEROY	Université de Picardie Jules Verne	Questions related to S-adicity
REPAS au quai
14h30-15h30	Bernard    BOIGELOT	Université de Liège, Belgique	Cobham's theorem(s) for subsets of R^d.
16h00-16h40	Reem YASSAWI	Trent University	Embedding constant length substitution subshifts in linear cellular automata