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

Forum News forum
 
9
30 November - 6 December
  • Franz Lichtenberger: Introduction to category theory (part 2 continued).
  • Wolfgang Schreiner: The RISC ProofNavigator - A First Status Report.
Resource The RISC Proof Navigator - A First Status Report