Weekly outline

  • Seminar Formal Methods I (WS 2020/21)

    Collapse all Expand all

    326.099, Wednesday, 12:15-13:45, Seminar Room Castle Hagenberg, Start: October 7, 2020.

    If you prefer another time or place (e.g., at the JKU campus), send me an email. Due to the COVID19 situation, we may also perform the seminar (completely or in parts) in digital form (Zoom). Please register and we will agree on the detailed mode of operation in time.

    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 Announcements forum.

  • October 7, 12:15-13:45

    • Wolfgang Schreiner: Introduction and Organization

    Zoom Meeting
    https://jku.zoom.us/j/99585313716?pwd=L0x4OTgwbC9iVS9Gb3lxY25xS0Ywdz09
    Meeting-ID: 995 8531 3716 Password: ..fmsem

  • Tuesday, November 10, 17:15-19:15, K223B

    • Lucas Payr: MSc thesis presentation
    • Sebastian Falkensteiner: PhD thesis presentation

  • Tuesday, January 26, 17:15-19:15, K223B

    • Sebastian Falkensteiner: PhD thesis presentation
    • Lucas Payr: MSc thesis presentation