15e Journées Montoises d'Informatique Théorique

23-26 sept. 2014 Nancy (France)

Mot de passe oublié ? Créer un compte

Navigation

Accueil

Conférenciers invités

Papiers acceptés

Comité d'organisation

SUPPORT

@ Contact

Programme

jeudi 25 septembre 2014

08:00

09:00

10:00

11:00

12:00

13:00

14:00

15:00

16:00

17:00

›8:30 (30min)

Accueil

8:30 - 9:00 (30min)

Accueil

›9:00 (50min)

Orateur invité

9:00 - 9:50 (50min)

Orateur invité

› Regular approximations of factorial languages: what are they good for? - Arseny Shur 09:00-09:50 (50min)

›9:50 (50min)

Contributions

9:50 - 10:40 (50min)

Contributions

› On alternating timed automata for MITL - Morgane Estiévenart, Thomas Brihaye, Gilles Geeraerts 09:50-10:15 (25min)

› Parametrized Automata Simulation and Application to Service Composition - Walid Belkhir, Yannick Chevalier, Michael Rusinowitch 10:15-10:40 (25min)

›10:40 (25min)

Pause café

10:40 - 11:05 (25min)

Pause café

›11:05 (1h40)

Contributions

11:05 - 12:45 (1h40)

Contributions

› Stability analysis of discrete time switching systems driven by an automaton. - Matthew Philippe, Raphaël Jungers 11:05-11:30 (25min)

› Consensual languages: a simple parallel machine model. - Stefano Crespi Reghizzi, Pierluigi San Pietro 11:30-11:55 (25min)

› The freeness problem for products of matrices defined on bounded languages - Emilie Charlier, Juha Honkala 11:55-12:20 (25min)

› On the coinductive nature of centralizers - Charles Grellois 12:20-12:45 (25min)

›12:45 (1h15)

Déjeuner

12:45 - 14:00 (1h15)

Déjeuner

›14:00 (50min)

Orateur invité

14:00 - 14:50 (50min)

Orateur invité

› Recursive structure of digital lines and planes - Xavier Provençal 14:00-14:50 (50min)

›14:50 (1h15)

Contributions

14:50 - 16:05 (1h15)

Contributions

› On the concept of convergence of continued fractions - Petr Kůrka 14:50-15:15 (25min)

› A d-dimensional extension of Christoffel words - Sébastien Labbé, Christophe Reutenauer 15:15-15:40 (25min)

› Traversing a n-cube without Balanced Hamiltonian Cycle to Generate Pseudorandom Numbers - Jean-Francois Couchot, Christophe Guyeux, Pierre-Cyrille Heam, Jacques Bahi, Qianxue Wang 15:40-16:05 (25min)

›16:05 (25min)

Pause café

16:05 - 16:30 (25min)

Pause café

›16:30 (1h15)

Contributions

16:30 - 17:45 (1h15)

Contributions

› Cylindricity of Wang tile sets - Thierry Monteil 16:30-16:55 (25min)

› Tilings by 1-by-1 and 2-by-2 squares - Nicolas Rolin, Alexandra Ugolnikova 16:55-17:20 (25min)

› Weak Local Rules for Quasicrystals - Nicolas Bédaride, Thomas Fernique 17:20-17:45 (25min)

Session

Discours

Logistique

Pause

Sortie

Personnes connectées : 1