Weekly outline
 
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.

Forum News forum
 
1
11 October - 17 October
  • Wolfgang Schreiner: Introduction and Organization.
  • Franz Lichtenberger: Introduction to coalgebra and coinduction (part 1).
Resource Transparencies 1 to 4 (1.5MB)
Resource Transparencies 5 to 8 (1.9MB)
Resource Transparencies 9 to 11 (1.8MB)
Resource Transparencies 12 to 14 (1.8MB)
Resource Transparencies 15 to 17 (1.7MB)
Resource Transparencies 18 to 19 (1.2MB)

2
18 October - 24 October
Resource Report on WS-FM 2006
Resource Transparencies 20 to 22 (1.4 MB)
Resource Transparencies 23 to 25 (1.4 MB)
Resource Transparencies 26 to 27 (1.1 MB)
Resource Transparncies 28 to 29 (1.2 MB)
Resource Transparencies 30 to 31 (1 MB)

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).
Resource Slides
Resource Slides (4 on 1)

5
8 November - 14 November
  • Gabor Guta: Alloy - The Model Generator.
Resource Presentation

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
Resource Slides
Resource Slides (4 on 1)
Resource Understanding Programs

9
6 December - 12 December
Resource Grand Challenges of Informatics 2006

14
10 January - 16 January
Resource The n-literal SAT representation
Resource Data Structures for SAT Solver: The 2-Literal Representation
Resource Teaching Formal Methods 2006

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)
Resource Presentation

16
24 January - 30 January
  • Andreas Duscher: Towards a Pattern-based Interaction Language for Mathematical Services.
Resource Towards a Pattern-based Interaction Language for Mathematical Services