Timed automata: models, languages, dynamics |
Eugene Asarin |
June 3, 2013 - 5:00pm |
Multidimensional Effective Subshifts |
Nathalie Aubrun, Mathieu Sablik |
June 3, 2013 - 6:00pm |
µ - Equicontinuity and weak convergence in zero-dimensional spaces |
Felipe García-Ramos |
June 3, 2013 - 6:00pm |
Entropy of tree automata, joint spectral radii and zero-error coding |
Catalin Dima |
June 3, 2013 - 6:00pm |
A categorical invariant of flow equivalence of shifts |
Alfredo Costa |
June 3, 2013 - 6:00pm |
Markov Random Fields and the Pivot Property |
Nishant Chandgotia |
June 3, 2013 - 6:00pm |
Markov diagrams for some non-Markovian systems |
Kathleen Carroll, Karl Petersen |
June 3, 2013 - 6:00pm |
Pisot numeration systems and beyond |
V. Berthé, W. Steiner, J. Thuswaldner |
June 3, 2013 - 6:00pm |
A maximal entropy stochastic process for a timed automaton |
Nicolas Basset |
June 3, 2013 - 6:00pm |
Characterizing some limit sets of Cellular Automata |
Alexis Ballier |
June 3, 2013 - 6:00pm |
k-block versus 1-block parallel addition in non-standard numeration systems |
Christiane Frougny, Pavel Heller, Edita Pelantova, Milena Svobodova |
June 3, 2013 - 7:00pm |
Characterizing possible typical asymptotic behaviours of cellular automata |
Benjamin Hellouin de Menibus |
June 3, 2013 - 7:00pm |
Computability in Multidimensional Symbolic Dynamics |
E. Jeandel |
June 3, 2013 - 7:00pm |
Regular Splicing Languages |
Nataša Jonoska |
June 3, 2013 - 7:00pm |
Contextfreeness in Symbolic Dynamics |
Wolfgang Krieger |
June 3, 2013 - 7:00pm |
Expansion subshifts of Mobius number systems |
Petr Kurka |
June 3, 2013 - 9:00pm |
Automata Theory and Symbolic Dynamics |
|
June 3, 2013 - 9:00pm |
Local Rules for Computable Planar Tilings |
T. Fernique, M. Sablik |
June 3, 2013 - 9:00pm |
Subshifts of linear complexity and subgroups of finite index of free groups |
Dominique Perrin |
June 3, 2013 - 9:00pm |
Shifts of nite type with nearly full entropy |
Ronnie Pavlov |
June 3, 2013 - 9:00pm |
Auto-similarity in rational base number systems |
Victor Marsault |
June 3, 2013 - 9:00pm |
Conjugacy of Functional Transducers |
Sylvain Lombardy |
June 3, 2013 - 9:00pm |
Conjugacy and equivalence of weighted automata |
Jacques Sakarovitch |
June 3, 2013 - 10:00pm |
Symbolic covers of toral automorphisms |
Klaus Schmidt, Vienna |
June 3, 2013 - 10:00pm |
Entropy minimality of Zd shifts of nite type |
Michael H. Schraudner |
June 3, 2013 - 10:00pm |
Hardness of Conjugacy, Embedding and Factorization in multidimensional SFTs |
Emmanuel Jeandel, Pascal Vanier |
June 3, 2013 - 10:00pm |
"Con uence" in Ito-Sadahiro number systems |
Tomá Vávra |
June 3, 2013 - 10:00pm |
A characterization of p-automatic sequences as columns of linear cellular automata |
Reem Yassawi |
June 3, 2013 - 10:00pm |
Strong shift equivalence of matrices over a ring |
Mike Boyle |
June 3, 2013 - 11:00pm |
OPEN PROBLEMS SESSION 1 |
Karl Petersen |
June 3, 2013 - 11:00pm |
OPEN PROBLEMS SESSION 2 |
Christophe Reutenauer |
June 3, 2013 - 11:00pm |