|Research Group Computer Science 2||Dept. of Computer Science|
Seminar: Advanced Topics in Term Rewriting
(S2, WS 2015/16)
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
For further details please contact Thomas Ströder.
|Disclaimer||Research Group Computer Science 2||Dept. of Computer Science|