Program: (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 More details are available here.