Formal Methods for Information Security (Lecture with Exercises, Summer Term 2008)


The "Klausureinsicht" (Post-exam Review) for the final examination takes place on Wednesday, August 20th, 15:00-16:30, in room E302
You can find the results for the final examination on display next to our offices.

The final examination takes place on Tuesday, July 1st, 9:50-11:30, Room S2-02-C110

The "Klausureinsicht" (Post-exam Review) for the midterm examination takes place on Thursday, May 29th, 13:30-15:30, in room E102

The course starts on Thursday, 03.04.2008

Further Information:

A A A | Print | Imprint | Sitemap | Contact
zum Seitenanfang