|
|
Research Group Computer Science II | Dept. of Computer Science |
|
|
Seminar: Verification Techniques (S2, SS 2005) |
|
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
|
 |