(09h20 - 09h30) Opening
(09h30 - 10h00) Serge Grigorieff : “Algorithmic randomness and uniform distribution modulo one”
(10h00 - 10h30) Stéphane Demri : “Reasoning about data repetitions with counter systems”
(10h30 - 11h00) Coffee Break
(11h00 - 11h30) Michel Habib : “A nice graph problem coming from biology: the study of read networks”
(11h30 - 12h00) Delia Kesner : “Completeness of Call-by-Need (A fresh view)”
(12h00 - 12h30) Pierre Vial : “Infinite Intersection Types as Sequences: a New Answer to Klop's Problem”
(12h30 - 14h00) Lunch (Buffon Restaurant - 17 rue Hélène Brion - Paris 13ème)
(14h00 - 14h30) Verónica Becher : “Finite-state independence and normal sequences”
(14h30 - 15h00) Brigitte Vallée : “Towards the random generation of arithmetical objects”
(15h00 - 15h30) Valérie Berthé : “Dynamical systems and their trajectories”
(15h30 - 16h00) Coffee Break
(16h00 - 16h30) Nicolás Alvarez : “Incompressible sequences on subshifts of finite type”
(16h30 - 17h00) Eugene Asarin : “Entropy Games”
(17h00 - 18h00) Discussion about the future of LIA INFINIS