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

[[https://www.irif.fr/~kesner/lia/workshop-lia-2016.html|More details are available here]].