| | Time: Wednesday, 12:30-14:00 (formal methods seminar).
Tuesday, 13:00-14:30 (ISI "grid computing" students).
Room: HA 105 (Hagenberg seminar room).
Start: October 15, 2008.
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.
| |
| | 15 October - 21 October
- Wolfgang Schreiner: Introduction and Organization
| 
|
| | 29 October - 4 November
Wednesday, October 29:
- Wolfgang Schreiner: Introduction to Denotational Semantics.
- Formal methods students: discussion on presentation topics.
Tuesday, November 4:
- ISI "grid computing" students: discussion on presentation topics.
|
|
| | 12 November - 18 November
November 12
- Wolfgang Schreiner: Continuation of talk on denotational semantics.
|
|
| | 10 December - 16 December December 10
- Wolfgang Schreiner: Continuation of talk on denotational semantics.
- Discussion on presentation topics.
|
|
| | 14 January - 20 January
Wednesday, January 14:
- Mohamed Aly: Spec#: An Overview
|
|
| | 21 January - 27 January
Tuesday, January 20:
- Eszter Tasi: "Maude SOS" (Structured Operational Semantics)
|
|
| | 28 January - 3 February
Tuesday, January 27
- Stefan Georgiev: Information Services in Globus Toolkit 4
- Plamen Alexandrov: Globus Toolkit Security
Thursday, January 29
- Alexandra Jimborean: Globus Toolkit 4 Execution Management
- Amira Gamaleldin: Grid Data Management
|
|
