Formal Methods for Information Security (Lecture, Summer Term 2007)

Final Examination

  • The final exam is on Wednesday, July 18, 8:00-9:45.
  • The exam is pen and paper only!
    • You bring a pen, a watch, and yourself
    • We bring everything else

Important Information

  • There will be no lecture on Wednesday, July 11
  • On Thursday, July 12, part of the lecture time is dedicated to your questions. You can ask questions on the lecture and on the exercises during that time. If you send us your questions in advance (to Henning Sudbrock), we can prepare the answers to maximize your profit from the question hour.
  • There is no office hour on Thursday, July 5.

The Fachschaft evaluates the courses given at the computer science department. This evaluation and its results are very important for us. If you did not fill out the questionnaire distributed in the lecture and the exercise session, you can fill out the form online on the Fachschaft's evaluation page.

Important Information:

  • If you have not registered for the exam, do so as soon as possible [contact Ulrike Hissen, Prüfungssekretariat Informatik]
  • The midterm exam is on Thursday, May 24, 8:00 - 9:45.
  • The final exam is on Wednesday, July 18, 8:00-9:45.



Internal section (Password Protected)
Lecture Description (Contents, Literature, etc.)

Modulhandbuchseite (Module Description)

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