Because of overlapping with other lectures such as Software Engineering, we have rescheduled the date of our lecture on Tuesday. The new dates are
However, there is still overlapping with the exercises in Software Engineering. Please keep this in mind in case you're planning to participate in both lectures.
Prof. Kowalewski will be away from the institute for a research semester in summer term 2008 (April-June).
Please consider that we cannot offer you any personal appointments or oral examinations during that period. Also, we will only offer the lecture “Formal Methods for Embedded Systems” during that term. All other lectures will not take place. Please contact the secretariat for questions during that time.