Weekly outline

  • General

    Project Seminar "Formal Methods I" (326.038, WS 2010/11)

    Time: Wednesday, 12:30-14:00
    Place: Hagenberg Seminar Room
    Start: October 20, 2010

    If you would like to participate in this seminar but prefer another time or place (e.g. at the JKU campus), please contact Wolfgang Schreiner.

    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 and can yourself post messages in the Questions and Answers forum.

  • 20 October - 26 October

  • 3 November - 9 November

    • Wolfgang Schreiner: The RISC ProgramExplorer: Second Status Report