Diese Seite auf Deutsch  Research Group Computer Science II  Dept. of Computer Science RWTH

Seminar: Term Rewriting Systems - Current Topics and Extensions

(S2, SS 2004)

LuFG Informatik II


Instructor

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


Prerequisites

Participants should have knowledge in "term rewriting" (e.g., by attending the lecture "term rewriting systems" in this semester, SS 2004). 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 (July 2004). The first preliminary meeting will be in April 2004, the exact date is still to be announced.



References

The books and papers to be discussed in the seminar will be announced at the preliminary meeting.



Contents

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



Area

Theoretical Computer Science, Area of Specialization



Further Details and Questions

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


Last modified: Thu Jan 22 15:00:56 CET 2004 / Research Group Computer Science II
RWTH Aachen