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

Seminar: Verification Techniques

(S2, WS 2010/2011)

LuFG Informatik II


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


Several techniques and methods for program verification will be presented in this seminar.


The seminar will take place at the end of the lecture period.


Participants should have knowledge in program verification or related areas (for example "functional programming", "logic programming", "term rewriting", or "mechanized program verification").


The topics will be announced during the introductory meeting.


Theoretical Computer Science, Area of Specialization

Further Details and Questions

For further details please contact Thomas Ströder. See also the corresponding page of the seminar in German.

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