Invited Talks and Tutorials

Invited Talks

• A. Middeldorp: “Automatic complexity analysis for rewrite systems”
• P. Padawitz: “From grammars and automata to algebras and coalgebras”
• J.-E. Pin: “Theme and variations on the concatenation product”
• L. Ronyai: “Some combinatorial applications of Gröbner bases”

Tutorials

• A. Middeldorp: “Termination and complexity of rewrite systems”
• P. Padawitz: “Co/algebraic modelling and verification at work”