News

Final Grade

Written on 12.10.23 (last change on 12.10.23) by Raven Beutner

Dear students, 

You can now find your final grade on your personal status page. 

Final Summary Submission

Written on 21.09.23 by Raven Beutner

Dear Students, 

The deadline for submitting the final version of your summary is tomorrow (22.09.2023, 23:59). 

Please submit your final version using the submission form in the CMS on your personal status page.

 

Summary Draft Deadline

Written on 05.09.23 (last change on 05.09.23) by Raven Beutner

Dear Students, 

As a reminder, the deadline for submitting your (draft) summary to get feedback from your advisor is the 8th of September (this Friday). The submission of this draft version is mandatory. 

We look forward to reading your summaries.

Today's seminar starts at 14:00

Written on 20.06.23 by Raven Beutner

Dear students, 

Please remember that we start today's seminar at 14:00 sharp

 

Updated Schedule - No Seminar Next Week, Three Talks on June 20

Written on 06.06.23 by Norine Coenen

Dear students, 

Due to scheduling conflicts, we adapted our talk schedule (see the updated timetable in the CMS). We will not meet next week for the first talk, instead we will have three talks the week after on June 20. To accommodate the extra talk, we will start at 2pm sharp that week and will… Read more

Dear students, 

Due to scheduling conflicts, we adapted our talk schedule (see the updated timetable in the CMS). We will not meet next week for the first talk, instead we will have three talks the week after on June 20. To accommodate the extra talk, we will start at 2pm sharp that week and will probably overrun our time slot a bit. We appreciate your understanding and ask you to accommodate this, if at all possible.  

See you in two weeks. 

Advisor for Individual Talks and First Group Talk

Written on 16.05.23 by Raven Beutner

Dear students,

You can now see your advisor for your individual talk on your personal status page. Your advisor will reach out to you in the next few days.

We also fixed time slots for the individual talks. You can see the schedule on your personal status page and in the calendar. The first… Read more

Dear students,

You can now see your advisor for your individual talk on your personal status page. Your advisor will reach out to you in the next few days.

We also fixed time slots for the individual talks. You can see the schedule on your personal status page and in the calendar. The first individual talk will take place on 13.06.

The first group talk will take place next week (23.05). Make sure that you have read the first key paper (which can be found in the Material Section) until then.

Paper Assignment

Written on 28.04.23 by Raven Beutner

Dear students,
 
we have finished the paper assignment in the CMS. You can see your assigned paper (given by the tutorial number) on your personal status page. We were able to assign everyone who indicated some preference to a paper that they rated good or very good.
 
Your advisor for… Read more
Dear students,
 
we have finished the paper assignment in the CMS. You can see your assigned paper (given by the tutorial number) on your personal status page. We were able to assign everyone who indicated some preference to a paper that they rated good or very good.
 
Your advisor for the group talk will reach out to you in the next few days. Everyone assigned to papers 01-05 is part of the “Basics of Information-Flow Control” group talk, and everyone assigned to papers 06-10 is part of the “Formal Methods 101" group talk. Your advisor will point you to appropriate reading material. We will upload the two key-papers (that should be read by everyone) in the Material section shortly.
 
The first group talk (on “Basics of Information-Flow Control”) will take place on 23.05.
Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators.