|Research Group Computer Science 2||Dept. of Computer Science|
Seminar: Advanced Topics in Term Rewriting
(S2, SS 2011)
Prof. Dr. Jürgen Giesl, Marc Brockschmidt, Fabian Emmes, Carsten Fuhs, Carsten Otto, Thomas Ströder
Participants should have knowledge in "term rewriting" (e.g., by attending the lecture "term rewriting systems" in this semester, SS 2011).
The seminar will take place on one or two days at the end of the semester.
In this seminar we will discuss advanced topics in term rewriting, such as
Theoretical Computer Science, Area of Specialization
For further details please contact Carsten Fuhs.
|Disclaimer||Research Group Computer Science 2||Dept. of Computer Science|