Seminar Security and Verification SS20

News | Content | Grading | Time schedule | Material

24.04. First meeting conducted

Schedule fixed (excluding final presentations), supervisors assigned. The slides are available here. Regarding writing advice, we recommend

• asking your supervisors
• keeping it mind what you want to achieve with the written work (i.e. raise interest, define some relevant notions and allow the others to ask meaningful questions).
• reading some of the writing advice the internet has to offer. There are many tutorials, all of which basically say the same things. This is a good place to start.

04.02. Pre-course meeting conducted

The slides are available here. If you want to participate, please send us (julia.kraemer@in.tum.de and maxi.weininger@tum.de) a mail with your topic preferences and a short statement of motivation and prefer us in the matching system until 13.02.20.

20.01. Pre-course meeting announcement

The pre-course meeting will be on 04.02.20 at 12:00 in room 00.09.022. If you want to participate in the seminar but cannot attend this meeting, please write an email to julia.kraemer@in.tum.de *and* maxi.weininger@tum.de.