Weekly outline

  • General

    Time: Wednesday, 12:30-14:00 (formal methods seminar).
    Tuesday, 13:00-14:30 (ISI "grid computing" students).
    Room: HA 105 (Hagenberg seminar room).
    Start: October 15, 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.
  • 15 October - 21 October

    • Wolfgang Schreiner: Introduction and Organization
  • 29 October - 4 November


    Wednesday, October 29:
    • Wolfgang Schreiner: Introduction to Denotational Semantics.
    • Formal methods students: discussion on presentation topics.
    Tuesday, November 4:
    • ISI "grid computing" students: discussion on presentation topics.
  • 5 November - 11 November

  • 12 November - 18 November


    November 12
    • Wolfgang Schreiner: Continuation of talk on denotational semantics.
  • 10 December - 16 December

    December 10
    • Wolfgang Schreiner: Continuation of talk on denotational semantics.
    • Discussion on presentation topics.
  • 14 January - 20 January


    Wednesday, January 14:

    • Mohamed Aly: Spec#: An Overview
  • 21 January - 27 January


    Tuesday, January 20:

    • Eszter Tasi: "Maude SOS" (Structured Operational Semantics)
  • 28 January - 3 February


    Tuesday, January 27
    • Stefan Georgiev: Information Services in Globus Toolkit 4
    • Plamen Alexandrov: Globus Toolkit Security
    Thursday, January 29
    • Alexandra Jimborean: Globus Toolkit 4 Execution Management
    • Amira Gamaleldin: Grid Data Management