15th Mons Theoretical Computer Science Days

23-26 Sep 2014 Nancy (France)

Lost password ? Create account

Main menu

Planning

Thursday, September 25, 2014

08:00

09:00

10:00

11:00

12:00

13:00

14:00

15:00

16:00

17:00

›8:30 (30min)

Registration

8:30 - 9:00 (30min)

Registration

›9:00 (50min)

Invited speaker

9:00 - 9:50 (50min)

Invited speaker

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

›9:50 (50min)

Contributed talks

9:50 - 10:40 (50min)

Contributed talks

› 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)

Coffee break

10:40 - 11:05 (25min)

Coffee break

›11:05 (1h40)

Contributed talks

11:05 - 12:45 (1h40)

Contributed talks

› 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)

Lunch

12:45 - 14:00 (1h15)

Lunch

›14:00 (50min)

Invited speaker

14:00 - 14:50 (50min)

Invited speaker

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

›14:50 (1h15)

Contributed talks

14:50 - 16:05 (1h15)

Contributed talks

› 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)

Coffee break

16:05 - 16:30 (25min)

Coffee break

›16:30 (1h15)

Contributed talks

16:30 - 17:45 (1h15)

Contributed talks

› 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

Speech

Logistics

Break

Tour

Online user: 1