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

Seminar: Verification Techniques

(S2, WS 2026/27)

LuFG Informatik 2

Instructors

Prof. Dr. Jürgen Giesl, Jan-Christoph Kassing, Arian Kulmer, Moritz Leven Rosarius, Éléanore Meyer



Contents

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



Times

The seminar will take place as a block seminar at the end of the lecture period or the beginning of the lecture-free period (e.g., January, February, or March 2027).



Prerequisites

Participants should have knowledge in program verification or related areas (for example "logic programming", "functional programming", "term rewriting", "satisfiability checking", "model checking", "static program analysis", "semantics and verification of software", etc.).



Area

Theoretical Computer Science



Further Details and Questions

Please contact Moritz Leven Rosarius.


 Research Group Computer Science 2  Dept. of Computer Science RWTH