As part of your thesis work, you will participate in our Graduate Seminar. You will give two talks in this seminar. In the first talk (15 min), you will explain the problem and how you want to approach it. In the second talk (30 min), you will present your submitted thesis.
The talks in the Graduate Seminar, marked red in the list, are obligatory for all students pursuing a Bachelor's or Master's at our lab. You are also welcome to attend the other talks at our lab, which are marked blue.
If not indicated otherwise, all talks take place in Room 528 (Building 45 / E1 3).
Graduate Seminar
Date: Thursday, November 24, 2005, 14:45
Speaker: Moritz Hardt
Title: Higher-Order Modal Logic
Lab Talk
Date: Monday, November 28, 2005, 14:15
Speaker:
Jan Schwinghammer
Title: Towards Separation Logic for Higher-Order Store
Lab Talk
Date: Thursday, November 3, 2005, 16:00
Speaker: Ozan Kahramanogullari (TU Dresden & Uni Leipzig)
Title: Deep Inference & Nondeterminism