Advanced Topics in Term Rewriting (WS 2015/16)

Research Group Computer Science 2

Dept. of Computer Science

Seminar: Advanced Topics in Term Rewriting
(S2, WS 2015/16)
LuFG Informatik 2

Instructors

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

Participants

Karsten Ansteeg
Lennart Bader
Felix Bier
Houman Biglari
Jan Wilhelm Böker
Lukas Tiago Bolte
Jan-Marcel Dietrich
Maximlian Doré
Bastian Jonas
Florian Kasper
Johannes Neuhaus
Hong An Nguyen
Albert Wachtel

Prerequisites

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.).

Times

2.2.2016-3.2.2016: Blockseminar

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.

Area

Theoretical Computer Science, Theoretical Foundations of SSE

Further Details and Questions

For further details please contact Thomas Ströder.

Disclaimer