|
Time: Wednesday, 12:30-14:00 . Room: HA 105 (Hagenberg seminar room). Start: October 11, 2006.
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.
| |
1 | 11 October - 17 October
- Wolfgang Schreiner: Introduction and Organization.
- Franz Lichtenberger: Introduction to coalgebra and coinduction (part 1).
|
|
2 | 18 October - 24 October
|
|
3 | 25 October - 31 October
- Franz Lichtenberger: Introduction to coalgebra and coinduction (part 2, continued).
- Wolfgang Schreiner: Programs and Specifications as State Relations (part 1).
|
|
5 | 8 November - 14 November
- Gabor Guta: Alloy - The Model Generator.
|
|
6 | 15 November - 21 November
- Wolfgang Schreiner: Programs and Specifications as State Relations (part 2).
|
|
8 | 29 November - 5 December
- Wolfgang Schreiner: Reasoning about Programs and Specifications
|
|
9 | 6 December - 12 December
|
|
14 | 10 January - 16 January
|
|
15 | 17 January - 23 January
- Johannes Watzl: Investigations on Improving the SEE-GRID Optimization Algorithm by Parallelization (Status Update)
- Wolfgang Schreiner: Reasoning about Programs and Specifications (continuation of presentation)
|
|
16 | 24 January - 30 January
- Andreas Duscher: Towards a Pattern-based Interaction Language for Mathematical Services.
|
|