Invited talk
Full paper
Exploratory paper
Monday 8.6.
|
8:45 |
Registration opens |
|
|
9:20 10 min |
Opening of AUTOMATA 2015 by rector Kalervo Väänänen |
|
|
9:30 1h |
Invited talk Andreas Deutsch |
|
|
10:30 30 min |
Coffee break |
|
|
11:00 30 min |
Siamak Taati |
|
|
11:30 30 min |
Nazim Fatès Remarks on the cellular automaton global synchronisation problem |
|
|
12:00 30 min |
Martins, de Oliveira Merging cellular automata rules to optimise a solution to the modulo-n problem |
|
|
12:30 1h |
Lunch |
|
|
13:30 1h |
Invited talk Luke Schaeffer |
|
|
14:30 30 min |
Coffee break |
|
|
15:00 30 min |
Kari Eloranta |
|
|
15:30 30 min |
Maldonado, Moreira, Gajardo Universal time-symmetric number-conserving cellular automaton |
|
|
16:00 30 min |
Cook, Larsson, Neary A cellular automaton for blocking queen games |
|
|
16:30 15 min |
Break |
|
|
16:45 15 min |
Bołt, Dembowski, Baetens, De Baets Solving the density classification problem by means of continuous cellular automata |
|
|
17:00 15 min |
García Vázquez, Sancho Caparrini Dynamic behavior of a non-local totalistic cellular automaton |
|
|
17:15 15 min |
Adams, Zenil, Hermo Reyes, Joosten |
|
|
17:30 15 min |
Fukś, Midgley-Volpato An example of degenerate hyperbolicity in a cellular automaton with 3 states |
|
|
18:00 |
Welcoming toast by the city of Turku |
Tuesday 9.6.
|
9:30 1h |
Invited talk Ville Salo |
|
|
10:30 30 min |
Coffee break |
|
|
11:00 30 min |
Norman Margolus |
|
|
11:30 30 min |
Adiga, Kuhlman, Mortveit, Wu Effect of graph structure on the limit sets of threshold dynamical systems |
|
|
12:00 30 min |
Adiga, Galyean, Kuhlman, Levet, Mortveit, Wu |
|
|
12:30 |
Lunch |
|
|
15:00 |
Excursion to Herrankukkaro Sauna and swimming Conference dinner |
|
|
22:45 |
Back in Turku |
Wednesday 10.6.
|
9:30 1h |
Invited talk Turlough Neary Tag systems and the complexity of simple programs |
|
|
10:30 30 min |
Coffee break |
|
|
11:00 30 min |
Véronique Terrier Recognition of linear-slender context-free languages by real time one-way cellular automata |
|
|
11:30 30 min |
Kutrib, Malcher, Wendlandt |
|
|
12:00 30 min |
Grandjean, Poupet L-Convex polyominoes are recognizable in real time by 2D cellular automata |
|
|
12:30 1h |
Lunch |
|
|
13:30 15 min |
Autran, Formenti, Provillard |
|
|
13:45 15 min |
Capobianco, Kari, Taati Post-surjectivity and balancedness of cellular automata over groups |
|
|
14:00 15 min |
Goles, Ollinger, Theyssier |
|
|
14:15 15 min |
Dmitry Zaitsev Simulating cellular automata by infinite synchronous Petri nets |
|
|
14:30 30 min |
Coffee break |
|
|
15:00 30 min |
Salo, Törmä |
|
|
15:30 30 min |
Jeremias Epperlein Classification of elementary cellular automata up to topological conjugacy |
|
|
16:00 30 min |
Mariot, Leporati On the periods of spatially periodic preimages in linear bipermutive cellular automata |
|
|
16:30 15 min |
Break |
|
|
16:45 15 min |
Rezki Chemlal Equicontinuity points and eigenvalues of one-dimensional cellular automata |
|
|
17:00 15 min |
Mariusz Białecki |
|
|
17:15 15 min |
Jose, Roy Chowdhury Four neighbourhood cellular automata as better cryptographic primitives |
|
|
17:30 15 min |
Sengupta, Ghosh, Roy Chowdhury Dynamic synthesis and analysis of maximum length linear and nonlinear cellular automata |
|
|
17:45 15 min |
Closing of AUTOMATA 2015 |