LIA INFINIS Workshop
4 November 2016, Paris


Place

Salle 3052 (3rd Floor)
Bâtiment Sophie Germain
8 place Aurélie Nemours
75013 Paris

Access:
Métro 14 and RER C : Station "Bibliothèque François-Mitterrand"
Tramway T3a : Station "Avenue de France"
Bus 62, 89 : Station "Porte de France"

Plan of the campus
Sophie Germain on Google Maps
Sophie Germian on openstreetmap


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



    Participants

  • Nicolás Alvarez
  • Eugene Asarin
  • Verónica Becher
  • Valérie Berthé
  • Luc Boasson
  • Antonio Bucciarelli
  • Olivier Carton
  • Christian Choffrut
  • Stéphane Demri
  • Max Dickmann
  • Christiane Frougny
  • Thomas Garrity
  • Serge Grigorieff
  • Michel Habib
  • Jean-Eric Pin
  • Delia Kesner
  • Damiano Mazza
  • Max Michel
  • Adrien Thierry
  • Brigitte Vallée
  • Mario Valencia-Pabon
  • Pierre Vial

    Organizer

  • Kesner Delia