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

Seminar: Verification Techniques

(S2, SS 2005)

LuFG Informatik II


Prof. Dr. Jürgen Giesl, René Thiemann, Peter Schneider-Kamp


The seminar will take place on August 1st and 2nd, 2005. There is a first preliminary meeting on Thursday, April 28th, 2005, at 3:45pm in room 5052.


Students interested in the seminar should contact Prof. Dr. Jürgen Giesl ( giesl@informatik.rwth-aachen.de, Tel: 80-21230).


Participants should have some knowledge in program verification or related areas (for example "term rewriting", "mechanized program verification", or "functional programming"). It is also possible to attend the course on "functional programming" this semester.


The books and papers to be discussed in the seminar will be announced at the preliminary meeting.


Theoretical Computer Science, Area of Specialization

Last modified: Wed Apr 27 09:17:17 CEST 2005 / Research Group Computer Science II
RWTH Aachen