Scientific Program

Monday, November 7

08:30-09:00 Registration
09:00-09:40 Opening
  Session 1 (Chair: Werner Kuich)

Symeon Bozapalidis: Tree Automata and Term Graph Languages


Coffee break

  Session 2 (Chair: Dimitrios Poulakis)


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
Workshop dinner


Tuesday, November 8

  Session 5 (Chair: Franz Winkler)

Sotiris Nikoletseas, Christoforos Raptopoulos, Paul Spirakis: Selected Combinatorial Properties of Random Intersection Graphs


Antonios Kalampakas: Graph Automata: The Algebraic Properties of Abelian Relational Graphoids


Coffee break

  Session 6 (Chair: Mika Hirvensalo)


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
Social Program