|
Project Seminar Formal Methods in Computer Science(326.038, WS 2005/06) Time: Wednesday, 10:30-12:00.
Place: Hagenberg Seminar Room (HA 105).
Start: October 5.
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. Please also register for this Moodle course (link "Login" on the upper right corner), then you will automatically receive per email all messages posted in the "News" forum below.
| |
1 | 5 October - 11 October
- Wolfgang Schreiner: The Theorem Proving Environments Isabelle and Coq: A Personal Experience (Part 1).
- Organization of the Seminar.
|
|
2 | 12 October - 18 October
- Wolfgang Schreiner: The Theorem Proving Environments Isabelle and Coq: A Personal Experience (Part 2).
- Wolfgang Schreiner: Proceedings of FM 2005 and CAV 2005.
October 17 (RISC Forum):
- Carsten Sinz: Practical Applications of SAT.
|
|
3 | 19 October - 25 October
- Rebhi Baraka: Querying Mathematical Service Descriptions.
|
|
6 | 9 November - 15 November - Franz Lichtenberger: Introduction to category theory (part 1).
|
|
7 | 16 November - 22 November
- Andreas Duscher: Stateful Services & Service Orchestration - Technology Overview & PhD Status report.
|
|
9 | 30 November - 6 December
- Franz Lichtenberger: Introduction to category theory (part 2 continued).
- Wolfgang Schreiner: The RISC ProofNavigator - A First Status Report.
|
|
10 | 7 December - 13 December
- Nikolaj Popov, Laura Kovacs: Report on Formal Methods Workshop.
- Wolfgang Schreiner: The RISC ProofNavigator - A First Status Report (continued).
|
|
15 | 11 January - 17 January - Franz Lichtenberger: Introduction to category theory (part 3).
|
|
16 | 18 January - 24 January
- Weifeng Jiang: Bounded Model Checking
|
|
17 | 25 January - 31 January
- Hongping Tao: Counterexample-guided Abstraction Refinement with Lazy Abstraction
|
|