Program for AUTOMATA 2014
Sunday, 6 July
| 16:00-19:00 | Registration |
Monday, 7 July
| 9:10-17:00 | Registration |
| 9:50-10:00 | Opening |
| 10:00-10:45 | Invited Talk (Chair: T. Isokawa) |
|---|---|
| 10:00-10:45 | Prof.Jarkko Kari (University of Turku, Finland), On a cellular automaton and powers of 3/2 |
| 10:45 | Theory of Cellular Automata I (Chair: T. Isokawa) |
| 10:45 | Kenichi Morita, Language recognition by reversible partitioned cellular automata |
| 11:10 | Ville Salo and Ilkka Törmä, Plane-Walking Automata |
| 11:35-15:00 | Lunch break & excursion at Kokoen garden |
| 15:00-16:15 | Application (Chair: J-B. Yunès) |
| 15:00 | Pedro P.B. de Oliveira and Mauricio Verardo, Template Based Representation of Cellular Automata Rules |
| 15:25 | Miroslaw Szaban and Franciszek Seredynski, How to select in an appropriate way rules for cellular automata - based PRNG |
| 15:50 | Yasusi Kanada, Self-organized 3D-printing Patterns Simulated by Cellular Automata |
| 16:15-16:45 | Tea break |
| 16:45-17:35 | Stochastic Cellular Automata (Chair: P.P.B. de Oliveira) |
| 16:45 | Witold Bołt, Jan M. Batens and Bernard De Beats, Analysis of stochastic CAs with the use of deterministic rules |
| 17:10 | Matthew Macauley and Grady Thomas, Analysis and dynamics of bi-threshold functions |
| 18:30-21:00 | Dinner at Seiko Club |
Tuesday, 8 July
| 9:10-16:00 | Registration |
| 9:15-10:00 | Invited Talk (Chair: F. Peper) |
|---|---|
| 9:15 | Prof.Satoshi Murata (Tohoku University, Japan), Introduction to Molecular Robotics: Computation to control chemical systems |
| 10:00-10:30 | Tea break |
| 10:30-11:45 | Universality & Complexity (Chair: M.Kutrib) |
| 10:30 | Jarkko Kari, A universal cellular automaton without sensitive subsystems |
| 10:55 | Katsunobu Imai, Hisamichi Ishizaka, and Victor Poupet, 5-State Rotation-Symmetric Number-Conserving Cellular Automata are not Strongly Universal |
| 11:20 | Enrico Formenti, Kévin Perrot and Eric Rémila, Computational complexity of the avalanche problem on one dimensional Kadanoff sandpiles |
| 11:45-13:30 | Lunch break at Egret Castle Mille |
| 13:30-14:45 | Theory of Cellular Automata II (Chair: TBD) |
| 13:30 | Martin Kutrib, Andreas Malcher and Matthias Wendlandt, Real-Time Reversible One-Way Cellular Automata |
| 13:55 | Jean-Baptiste Yunès and Luidnel Maignan, Generalized FSSP on Hexagonal Tiling: Towards Arbitrary Regular Spaces |
| 14:20 | Ville Salo and Ilkka Törmä, Complexity of Conjugacy, Factoring and Embedding for Countable Sofic Shifts of Rank 2 |
| 14:450-15:15 | Tea break |
| 15:15-16:30 | Elementary Cellular Automata I (Chair: G. Martinez) |
| 15:15 | Takao Namiki and Akane Kawaharada, Cumulative distribution of rule 90 and Lebesgue's singlar function |
| 15:40 | Junta Matsukidaira and Daisuke Takahashi, Max-min-plus expressions for one-dimensional cellular automata with second order conserved quantities |
| 16:05 | Raju Hazari and Sukanta Das, On Number Conservation Property of ECA under α-Asynchronous Update |
| 16:30-18:00 | Committee meeting |
| 18:30-21:00 | Banquet at Restaurant Mikashio |
Wednesday, 9 July
| 9:10-11:00 | Registration |
| 9:15-10:00 | Invited Talk (Chair: K. Morita) |
|---|---|
| 9:15 | Prof.Martin Kutrib (Universität Gießen, Germany), Complexity of One-Way Cellular Automata |
| 10:00-10:25 | Elementary Cellular Automata II (Chair: K. Morita) |
| 10:00 | Genaro Martinez, Andrew Adamatzky and Harold McIntosh, Mobile self-localizations as a set of regular expression for Rule 54 |
| 10:25-10:55 | Tea break |
| 10:55-12:10 | Dynamic Systems (Chair: T. Namiki) |
| 10:55 | Matthew Macauley and Henning Mortveit, Cycle Equivalence of Finite Dynamical Systems Containing Symmetries |
| 11:20 | Pablo Moisset de Espanés and Iván Rapaport, Strict majority bootstrap percolation on augmented tori and random regular graphs: experimental results |
| 11:45 | Jan Baetens and Janko Gravner, Introducing Lyapunov profiles of cellular automata |
| 12:10-12:15 | Closing |
| 13:00-14:30 | Lunch at Serena (Hotel Nikko Himeji) |