All talks take lalce in Room SR 209 at Hörsaalgebäude
Carl-Zeiss-Strasse 3 (CZ3), except the common sessions with
CMC 11, which will be held at CZ3 building in Lecture-Hall
9.
Monday, August 23 | |
09:00 – 09:30 | Registration |
09:30 – 09:40 | Opening |
09:40 – 10:40 | Invited Talk
Andreas Maletti (Universitat Rovira i Virgili, Spain): Tree Transducers in Machine Translation |
10:40 – 11:10 | Coffee Break |
11:10 – 11:40 | Martin Huschenbett:
A Kleene-Schützenberger Theorem for Trace Series over Bounded Lattices |
11:40 – 12:10 | Christophe Morvan::
Contextual Graph Grammars Characterising Rational Graphs |
12:10 – 14:00 | Lunch |
14:00 – 15:00 | Invited Talk
Tomasz Jurdzinski (University of Wroclaw, Poland): Growing Grammars and Length Reducing Automata |
15:00 – 15:30 | Martin Plátek,František Mráz and Markéta
Lopatková:
(In)Dependencies in Functional Generative Description by Restarting Automata |
15:30 – 16:00 | Coffee Break |
16:00 – 16:30 | Peter Leupold and Friedrich Otto:
On McNaughton Families of Languages Specified by Certain Variants of Monadic String-Rewriting Systems |
16:30 – 17:00 | Nobert Hundeshagen and Peter Leupold:
Transducing by Observing |
17:00 – 17:30 | Erzsébet Csuhaj-Varjú, Tomáš Masopust and
György Vaszil:
Blackhole State-Controlled regulated Pushdown Automata |
19:00 – | Dinner |
Tuesday, August 24 | |
09:15 – 09:30 | Registration |
09:30 – 10:00 | Jürgen Dassow and Biance Truthe:
On Networks of Evolutionary Processors with State Limited Filters |
10:00 – 10:30 | Vincent Levorato and Maxime Senot:
Discrete Signal Machines via Pretopology |
10:30 – 11:00 | Coffee Break |
11:00 – 11:30 | Maria Paola Bianchi, Carlo Mereghetti, Beatrice
Palano, and Giovanni Pighizzini:
Probabilistic versus Nondeterministic Unary Automata |
11:30 – 12:00 | Tomáš Záthurecký:
Asynchronous and Irregular Cellular Automata |
12:00 – 12:30 | Peter Drábik, Andrea Maggiolo-Schettini, Paolo
Milazzo:
Dynamic Syc-Programs for Modular Verification of Biological Systems |
12:30 – 14:00 | Lunch |
14:00 – 15:00 | Common Session with CMC 11---Invited
Talk:
Martin Kutrib (Universität Giessen, Germany): Cellular Automata and the Quest for Artificial Self-Reproducing Structures |
15:00 – 15:15 | Coffee Break |
15:15 – 19:20 | Common Session with CMC 11 |
All talks take place in Room SR 209 at Hörsaalgebäude Carl-Zeiss-Strasse 3 (CZ3), except the common sessions with CMC 11, which will be held at CZ3 building in Lecture-Hall 9.