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

Seminar: Advanced Topics in Term Rewriting

(S2, WS 2015/16)

LuFG Informatik 2


Prof. Dr. Jürgen Giesl, Cornelius Aschermann, Florian Frohn, Jera Hensel, Thomas Ströder



Participants should have knowledge in "term rewriting" (e.g., by attending the lecture "term rewriting systems" in this semester, WS 2015/16).

In addition, knowledge in program verification or declarative programming languages would be advantageous (e.g., as in the lectures "functional programming", "logic programming", etc.).



In this seminar we will discuss advanced topics in term rewriting. In particular, we will also handle techniques and tools for program analysis that are based on term rewriting.


Theoretical Computer Science, Theoretical Foundations of SSE

Further Details and Questions

For further details please contact Thomas Ströder.

Disclaimer  Research Group Computer Science 2  Dept. of Computer Science RWTH