|
Project Seminar Formal Methods in Computer Science (326.038, SS 2006)
Time: Thursday, 13:00-14:30 ( date changed!)
Place: Hagenberg Meting Room (UFO).
Start: March 8. 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 | 9 March - 15 March
|
|
4 | 30 March - 5 April
- Franz Lichtenberger: Logic-independence of specification formalisms: the institution level.
|
|
5 | 6 April - 12 April - Rebhi Baraka: Querying Registry-Published Mathematical Web Services.
|
|
8 | 27 April - 3 May
- Marcus Winkler: Report on ETAPS 2006
- Johannes Watzl: Acceleration of the Optimization in SEE++.
|
|
11 | 18 May - 24 May
- Rebhi Baraka: Report on the AINA 2006 Conference.
|
|
13 | 1 June - 7 June - Wolfgang Schreiner: The RISC ProofNavigator - Third Status Report.
|
|
14 | 8 June - 14 June
- Marcus Winkler: Automatic Verification of Parameterized Data Structures.
- Franz Lichtenberger: Introduction to coalgebra and coinduction (part 1).
|
|
16 | 22 June - 28 June
- Hans-Wolfgang Loidl: EmBounded: Automatic Prediction of Resource Bounds for Embedded Systems.
- Weifeng Jiang: Reasoning about Object Structure using the Ownership Technique
|
|
17 | 29 June - 5 July
- Hong Ping Tao: Reasoning about Programs with Pointer Structures using Separation Logic
|
|
18 | 6 July - 12 July - Andreas Duscher: Talk on modeling Interaction Patterns of Mathematical Software Systems using ASM
|
|