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