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