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

Seminar: Automated Termination Analysis

(S2, SS 2010)

LuFG Informatik 2


Prof. Dr. Jürgen Giesl, Marc Brockschmidt, Fabian Emmes, Carsten Fuhs, Carsten Otto, Thomas Ströder


Participants should have knowledge in "functional programming", "logic programming", "term rewriting", or "program verification". When registering for the seminar, please indicate which of these lectures you have attended (preferably lectures where you also actively participated in the exercises).


Termination is an essential property of programs and termination analysis is an important task in software development and program verification. In the seminar, we present techniques and tools to prove termination of programs automatically, where we focus on different types of programming languages (e.g., term rewrite systems, logic, functional, and imperative programming languages).


The seminar will probably take place at the end of the semester (July 2010).

Further Details and Questions

For further details please refer to the corresponding web page in German or contact Carsten Fuhs.


Theoretical Computer Science, Area of Specialization

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