Seminar Security and Verification SS20

News | Content | Grading | Time schedule | Material

Grading

Roughly, there be will be three relevant parts.

• Written work: Extended abstract, 2-4 pages
• Presentation: Talk of ~20min
• Discussion: Participation, questions for the other talks, chairing

The grading documents will be shared before the practice talks.