|
|
|
Seminar: Theoretical Foundations of Model Checking - winter term 06/07
exam criteria
This course will gain you 3 credit points (or 4 ECTS).
In order to successfully complete this course, you have to do the following tasks:
- Hand in a written elaboration of your topic of 6 pages in the LaTeX-Springer LNCS style. You have to hand in your text at most four weeks before your actual talk.
- Give a talk about your topic of about 45 minutes. Your slides have to be done using LaTeX. You have to hand in your slides at most two weeks before your actual talk.
- You have to be present during the talks of the other students and you are supposed to actively participate in the discussions following the presentations.
|
|
