Dresden University of Technology
Department of Computer Science

The Ph.D. programme "Specification of discrete processes and systems of processes by operational models and logics" (DFG Graduiertenkolleg) of the Department of Computer Science at the Dresden University of Technology organizes the international workshop with the title

Grammars, Automata, and Logic
on Graphs and Trees

The programme consists of ten invited talks given by

• B. Courcelle (Bordeaux) : Monadic second-order logic on graphs and related combinatorial structures.
• F. Drewes (Bremen) : The finiteness of tree languages.
• J. Engelfriet (Leiden) : Tree-walking automata with pebbles.
• Z. Fülöp (Szeged) : A Comparison of Attributed and Macro Tree Transducers.
• A. Habel (Oldenburg) : Hyperedge Replacement.
• H.-J. Kreowski (Bremen) : Collage Grammars.
• W. Kuich (Wien) : Formal tree series, tree automata and tree transducers.
• J.A. Makowsky (Haifa) : Efficient Algorithms for Optimization and Enumeration Problems on Patchable Graphs.
• M. Steinby (Turku) : Tree automata and term rewriting.
• W. Thomas (Aachen) : Logics over partial orders.

• A. Kühnemann (Dresden) : Comparison of Deforestation Techniques for Functional Programs and for Tree Transducers.
• S. Maneth (Leiden) : MSO Definability of Macro Tree Transductions is decidable.
• M. Müller-Olm (Dortmund) : A Modal Fixpoint Logic with Chop.
• T. Noll (Aachen) : On the Universality of Higher-Order Attribute Grammars.
• . . . .

Heiko Vogler
Department of Computer Science
Dresden University of Technology
D-01062 Dresden
Phone +49 351 463 8232
Fax. +49 351 463 8504

email: Heiko.Vogler @ inf.tu-dresden.de