Research Group Computer Science 2

Dept. of Computer Science

Seminar: Term Rewriting Systems - Current Topics and Extensions (S2, WS 2006/07)

Instructor

Prof. Dr. Jürgen Giesl, René Thiemann, Peter Schneider-Kamp, Stephan Swiderski

Prerequisites

Participants should have knowledge in "term rewriting" (e.g., by attending the lecture "term rewriting systems" in this semester, WS 2006/07). Moreover, you should have knowledge in "logic programming", "automated program verification", or "functional programming" from earlier semesters.

Times

The seminar will take place on two days at the end of the semester (February 2007). The appointment for the first preliminary was announced by e-mail.

Contents

In this seminar we will discuss advanced topics in term rewriting, such as

• conditional term rewriting
• term rewriting modulo underlying equations
• higher-order term rewriting
• other program analysis and completion techniques based on term rewriting

Area

Theoretical Computer Science, Area of Specialization

Further Details and Questions

For further details please contact René Thiemann, Tel. 80-21241.

Last modified: Tue May 30 13:53:18 CEST 2006 / Research Group Computer Science II