|
|
|
Seminar: Theoretical Foundations of Model Checking - Wintersemester 06/07
Prüfungskriterien
Die erfolgreiche Teilnahme wird mit 3 Kreditpunkten (bzw. 4 ECTS) bewertet.
Zum Bestehen dieser Teilprüfung müssen Sie folgende Leistungen erbringen:
- Erstellen einer 6-seitigen Ausarbeitung zu dem Thema im LaTeX-Springer
LNCS Format. Die Ausarbeitung ist spätestens vier Wochen vor dem eigentlichen Seminarvortrag per Mail an Ihren Betreuer zu schicken.
- Präsentation des Themas in einem 45-minütigen Vortrag vor
den Dozenten und den übrigen Seminarteilnehmern. Sie sollten
dafür Folien mit LaTeX vorbereiten.
Die Folien sind spätestens zwei Wochen vor dem Vortragstermin per
Mail an Ihren Betreuer zu schicken.
- Anwesenheit bei den Vorträgen der übrigen Seminarteilnehmer und aktive Mitwirkung
an den Diskussionen.
|
|
