Research Group Computer Science 2

Dept. of Computer Science

Seminar: Advanced Topics in Term Rewriting (S2, SS 2011)

Instructor

Prof. Dr. Jürgen Giesl, Marc Brockschmidt, Fabian Emmes, Carsten Fuhs, Carsten Otto, Thomas Ströder

Prerequisites

Participants should have knowledge in "term rewriting" (e.g., by attending the lecture "term rewriting systems" in this semester, SS 2011).

Times

The seminar will take place on one or two days at the end of the semester.

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 Carsten Fuhs.

Disclaimer

Research Group Computer Science 2

Dept. of Computer Science