Weekly outline

  • General

    Time: Wednesday, 10:30-12:00 (time change).
    Room: HA 105 (Hagenberg seminar room).
    Start: March 12, 2008.

    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.

  • 12 March - 18 March

    • Wolfgang Schreiner: Reasoning about Programs as State Relations
  • 9 April - 15 April

    • Wolfgang Schreiner: Reasoning about Programs with Interruptions
  • 16 April - 22 April

    • Gabor Guta: Conference Reports (ECOOP 2007, ETAPS 2008).
  • 23 April - 29 April

    • Wolfgang Schreiner: Reasoning about Programs with Interruptions (continuation)
  • 14 May - 20 May

    • Gabor Guta: A Light-Weight Process for Code Generation.
  • 21 May - 27 May

    • Wolfgang Schreiner: Programs with Undefined Expressions
  • 25 June - 1 July

    • Andreas Müller: VDM
    • Johannes Watzl: Investigations on Improving the SEE-GRID Optimization Algorithm