Exam dates — Winter Semester 2006

Before I can get back home and begin my Ph.D. I have to make some exams here at the [ETH][]… The plan is as follows:

Course Date Time Type
Formal Methods for Information Security 7/2 15–17 Written
Randomisierte Algorithmen 13/2 9–12 Written
Formal Verification 17/2 10:00 Oral
Verteilte Algorithmen 20/2 14:15 Oral
Decision Procedures for Logical Theories 23/2 10:00 Oral
Web Algorithms 3/3 ? Oral

I will then leave for Denmark at the very beginning of March.

Leave a comment