Monday, August 31
08:45 – 09:15 Registration
09:15 – 09:30 Opening
Session 1 Chair: Friedrich Otto
09:30 – 10:30 Invited talk
Hendrik Jan Hoogeboom (Universiteit Leiden, The Netherlands):
Automata Walking over Trees (slides)
10:30 – 11:00 Cofee Break
Session 2 Chair: Bianca Truthe
11:00 – 11:30 Peter Leupold and Benedek Nagy:
5' -> 3' Watson-Crick Automata with Several Runs (slides)
11:30 – 12:00 Peter Černo and František Mráz:
Clearing Restarting Automata (slides)
12:00 – 14:00 Lunch
Session 3 Chair: Henning Bordihn
14:00 – 15:00 Invited Talk
Joachim Niehren (INRIA Lille Nord Europe, France):
Streaming Tree Automata and XPath (slides)
15:00 – 15:30 Cătălin Inouţ Tîrnăucă:
Model Syntax-Directed Translations by Tree Transducers (slides)
15:30 – 16:00 Coffee Break
Session 4/td> Chair: Andreas Malcher
16:00 – 16:30 Bianca Truthe:
Target Based Accepting Networks of Evolutionary Processors with Regular Filters (slides)
16:30 – 17:00 Tomáš Masopust:
Regulated Nondeterminism in PDAs: The Non-Regular Case (slides)
17:00 – 17:30 Jürgen Dassow, Gema M. Martín and Francisco J. Vico:
Evolving under small disruption (slides)
19:00 – Dinner at Restaurant Pod Gryfami, Market Square 2



Tuesday, September 1
09:15 – 09:30 Registration
Session 5 Chair: Martin Kutrib
09:30 – 10:30 Invited talk
Klaus Sutner (Carnegie Mellon University, USA):
Cellular Automata, Decidability and Phasespace (slides)
10:30 – 11:00 Cofee Break
Session 6 Chair: Giovanni Pighizzini
11:00 – 11:30 Hidenosuke Nishio:
Automorphism Classification of Cellular Automata (slides)
11:30 – 12:00 Luca Bernardinello, Carlo Ferigato, Lucia Pomello and Stefania Rombolà:
Closure Operators Associated to Partially Ordered Sets (slides)
12:00 – 14:00 Lunch
Session 7 Chair: Tomáš Masopust
14:00 – 14:30 Rudolf Freund, Marian Kogler and Sergey Verlan:
P Automata with Controlled Use of Minimal Communication Rules (slides)
14:30 – 15:00 Maria Paola Bianchi and Beatrice Palano:
Events and Languages on Unary Quantum Automata (slides)
15:00 – 15:30 Felix Hamza-Lup and Ferucio Laurenţiu Ţiplea:
An Automaton-based Formalism for Cooperative Augmented Reality Systems (slides)
15:30 – 16:00 Coffee Break
Session 8 Chair: Rudolf Freund
16:00 – 16:30 Galina Jirásková and Pavol Olejár:
State Complexity of Union and Intersection of Binary Suffix-Free Languages (slides)
16:30 – 17:00 Miklós Bartha:
Equivalence relations of Mealy automata (slides)
17:00 – 17:30 Viliam Geffert, Carlo Mereghetti and Giovanni Pighizzini:
One Pebble versus log(n) Bits (slides)
17:30 – Closing
19:30 – Dinner at Restaurant Pod Gryfami, Market Square 2