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 |