Seminar Security and Verification SS20

News | Content | Grading | Time schedule | Material

Schedule

• 04.02. 12:00 - Pre-course meeting
• Before 13.02.20 - Send mails with preferences on papers and motivation
• 24.04.20 - First meeting: Introduction and scheduling.
• 05.06.20 - Second meeting: Practice talks and checking technical setup.
• 17.07.20 - Deadline for written work.
• 31.07.20 - Deadline for questions.
• TBD - final presentations.

In between, you should have around two meetings with your supervisor, where meeting is defined as broadly as necessary to fit the current social distancing rules.