|Research Group Computer Science 2||Dept. of Computer Science|
Seminar: Term Rewriting Systems - Current Topics and Extensions
(S2, WS 2006/07)
Prof. Dr. Jürgen Giesl, René Thiemann, Peter Schneider-Kamp, Stephan Swiderski
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.
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.
In this seminar we will discuss advanced topics in term rewriting, such as
Theoretical Computer Science, Area of Specialization
For further details please contact René Thiemann, Tel. 80-21241.