Program

Wednesday, December 15
9:00	Registration
9:55	Opening of JAC 2010
10:00–11:00	Invited talk: M. Coornaert Some Extensions of the Moore-Myhill Garden of Eden Theorem
11:00–11:30	Coffee break
11:30–12:00	S. Capobianco and T. Uustalu A Categorical Outlook on Cellular Automata
12:00–12:30	F. Givors, G. Lafitte, and N. Ollinger Infinite Time Cellular Automata: a Real Computation Model
12:30–13:00	M. Margenstern An Upper Bound on the Number of States for a Strongly Universal Hyperbolic Cellular Automaton on the Pentagrid
13:00–14:00	Lunch
14:00–14:30	A. Moreira and A. Gajardo Time-symmetric Cellular Automata
14:30–15:00	P. Arrighi and J. Grattage A Quantum Game of Life
15:00–15:30	P. Arrighi and V. Nesme The Block Neighborhood
15:30–16:00	Coffee break
16:00–17:00	Informal talks: S. Capobianco: Cellular Automata Reversibility HOWTO A. Bušić, J. Mairesse and I. Marcovici: Probabilistic Cellular Automata, Invariant Measures, and Perfect Sampling A. Ballier, P. Guillon and J. Kari: Limit Sets and Stability of 1D Cellular Automata
19:00-...	Conference dinner in restaurant Koulu, Eerikinkatu 18

Thursday, December 16
9:30–10:30	Invited talk: B. Durand, A. Romaschenko and A. Shen 1D Effectively Closed Subshifts and 2D Tilings
10:30–11:00	Coffee break
11:00–11:30	E. Jeandel and P. Vanier Slopes of Tilings
11:30–12:00	A. Ballier and E. Jeandel Computing (or not) Quasi-periodicity Functions of Tilings
12:00–12:30	Th. Fernique and N. Ollinger Combinatorial Substitutions and Sofic Tilings
12:30–13:30	Lunch
13:30–14:00	V. Poupet Yet Another Aperiodic Tile Set
14:00–14:30	P. Guillon, P.-E. Meunier and G. Theyssier Clandestine Simulations in Cellular Automata
14:30–15:00	L. Boyer, M. Delacourt and M. Sablik Construction of μ-limit Sets
15:00–15:30	Coffee Break
15:30–16:50	Informal talks: V. Salo: Two Proper Inclusions Between Families of Picture Languages B. Le Gloannec and N. Ollinger: Tilings, Substitutions and Undecidability—Mozes' Approach Ch. Zinoviadis and P. Guillon: Entropies of Cellular Automata V. Berthé, T. Jolivet and A. Siegel: Substitutions and Connectedness of Rauzy fractals

Friday, December 17
8:15	Departure of Silja Galaxy from Turku, breakfast buffet onboard
10:00–11:00	Invited talk: M. Kutrib and A. Malcher Measuring Communication in Cellular Automata
11:00–11:30	Coffee break
11:30–12:00	A. Borello A Simulation of Oblivious Multi-head One-way Finite Automata by Real-time Cellular Automata
12:00–12:30	Th. Worsch and H. Nishio Real-time Sorting of Binary Numbers on One-dimensional CA
12:30–13:00	M. Kutrib and A. Malcher Transductions Computed by Iterative Arrays
13:35	Arrival to Mariehamn, change of ship
14:00–15:30	Lunch buffet onboard Silja Europa
15:30–16:00	E. Goles and B. Martin Computational Complexity of Avalanches in the Kadanoff Two-dimensional Sandpile Model
16:00–16:30	A. Shen Decomposition Complexity
16:30–17:00	Coffee Break
17:00–18:00	Informal talks: A. Moreira and E. Goles: Communication Complexity in Number Conserving and Monotone Cellular Automata G. Richard and V. Terrier: Reconstructing a Cycle in Linear time on Cellular Automata H. Umeo, K. Nishide and T. Yamawaki: A New Optimum-time Firing Squad Synchronization Algorithm for Two-dimensional Rectangle Arrays—One-sided Recursive Halving Based
19:15	Arrival to Turku