| |
Project Seminar "Formal Methods I" (326.038, WS 2009/10)
Regular Seminar
- Wednesday, 12:30-14:00, Hagenberg Seminar Room (begin: October 14)
Sub-Seminar "Type Systems"
- Monday, 8:30-10:00, MZ005A (from October 19 on)
In this seminar, we explore current research and systems for specifying and verifying computer programs (specification languages, program verifiers, model checkers, ...). This continues the seminar of the previous semester.
To take part in the seminar, you have to enrol in the KUSSS system. If you also login in Moodle and register as a course participant, you will receive per email all messages posted in the News forum.
| |
| | 12 October - 18 October
Sub-Seminar "Type Systems"
A couple of MSc students expressed the wish to learn more on type systems (with focus on object-oriented languages). For these, a sub-seminar will take place where
- Wolfgang Schreiner (WS) will present some introductory material, and
- each student will receive some material in order to
- work out a slide-based presentation,
- give this presentation,
- and elaborate a small exercise.
with WS presenting material from
The student presentations/exercises will be based on the book of Schmidt. Topics:
- Abstraction Principle: Taimoor (November 16)
- Parametrization: TK (November 30)
- Qualification: RM (December 14)
- Records/Lambda Abstraction: AC (January 11)
- Propositional Logic Types: FS (January 25)
| 
|
| | 19 October - 25 October October 19: Sub-Seminar Type Systems
|
|
| | 9 November - 15 November November 9: Sub-Seminar Type Systems
November 11: Seminar
|
|
| | 16 November - 22 November November 16: Sub-Seminar Type Systems
November 18: Seminar
|
|
| | 23 November - 29 November November 23: Sub-Seminar Type Systems
|
|
| | 30 November - 6 December November 30: Sub-Seminar Type Systems
|
|
| | 7 December - 13 December December 7: Sub-Seminar Type Systems
|
|
| | 14 December - 20 December December 14: Sub-Seminar Type Systems
- Presentation Schreiner
- Presentation Schreiner
|
|
| | 11 January - 17 January January 11: Sub-Seminar Type Systems
|
|
| | 18 January - 24 January January 18: Sub-Seminar Type Systems
|
|
| | 25 January - 31 January January 25: Sub-Seminar Type Systems
- Presentation Schrögendorfer
|
|
