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