Scientific Program
Monday, November 7
| Time | |
| 08:30-09:00 | Registration |
| 09:00-09:40 | Opening |
| Session 1 (Chair: Werner Kuich) | |
| 09:40-10:20 | Symeon Bozapalidis: Tree Automata and Term Graph Languages |
10:20-10:50 |
Coffee break |
| Session 2 (Chair: Dimitrios Poulakis) | |
10:50-11:30 |
Werner Kuich: Algebraic Systems and Pushdown Automata |
| 11:30-12:10 | Dietrich Kuske: Where Automatic Structures benefit from Weighted Automata |
| 12:10-14:00 | Lunch break |
| Session 3 (Chair: Dietrich Kuske) | |
| 14:00-14:40 | Franz Winkler: The role of Symbolic Computation in Mathematics |
| 14:40-15:20 | Ondřej Klíma, Libor Polák: Identity Problems, Solvability of Equations and Unification in Varieties of Semigroups Related to Varieties of Groups |
| 15:20-16:00 | Mika Hirvensalo: Quantum Automata Theory - A Review |
| 16:00-16:30 | Coffee break |
| Session 4 (Chair: Libor Polák) | |
| 16:30-17:10 | Zoltán Fülöp: Equational Definitions for Tree Transformations |
| 17:10-17:50 | Aurélie Lagoutte, Andreas Maletti: Weighted Extended Top-down Tree Transducers |
| 17:50-18:30 | Manfred Droste, Doreen Götze, Steffen Märcker, Ingmar Meinecke: Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics |
19:30 |
Workshop dinner |
Tuesday, November 8
| Time | |
| Session 5 (Chair: Franz Winkler) | |
| 09:00-09:40 | Sotiris Nikoletseas, Christoforos Raptopoulos, Paul Spirakis: Selected Combinatorial Properties of Random Intersection Graphs |
09:40-10:20 |
Antonios Kalampakas: Graph Automata: The Algebraic Properties of Abelian Relational Graphoids |
10:20-10:50 |
Coffee break |
| Session 6 (Chair: Mika Hirvensalo) | |
10:50-11:30 |
Frank Drewes : Selected Decision Problems for Square-Refinement Collage Grammars |
| 11:30-12:10 | Jarkko Kari, Ville Salo: A Survey on Picture-Walking Automata |
| 12:10-14:00 | Lunch break |
| Session 7 (Chair: Zoltán Fülöp) | |
| 14:00-14:40 | Ingmar Meinecke: Valuations of Weighted Automata: Doing It in a Rational Way |
| 14:40-15:20 | Petros Stefaneas: Remarks on Algebra and Specifications |
| 15:20-16:00 | Zoltán Ésik: Partial Conway and Iteration Semiring-Semimodule Pairs |
20:30 |
Social Program |