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.