Weekly outline

  • General

    Project Seminar "Formal Methods I" (326.038, WS 2009/10)

    Regular Seminar
    • Wednesday, 12:30-14:00, Hagenberg Seminar Room (begin: October 14)
    Sub-Seminar "Type Systems"
    • Monday, 8:30-10:00, MZ005A (from October 19 on)
    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 October - 18 October


    Sub-Seminar "Type Systems"
    A couple of MSc students expressed the wish to learn more on type systems (with focus on object-oriented languages). For these, a sub-seminar will take place where
    • Wolfgang Schreiner (WS) will present some introductory material, and
    • each student will receive some material in order to
      • work out a slide-based presentation,
      • give this presentation,
      • and elaborate a small exercise.
    with WS presenting material from
    The student presentations/exercises will be based on the book of Schmidt.

    Topics:
    • Abstraction Principle: Taimoor (November 16)
    • Parametrization: TK (November 30)
    • Qualification: RM (December 14)
    • Records/Lambda Abstraction: AC (January 11)
    • Propositional Logic Types: FS (January 25)
  • 19 October - 25 October

    October 19: Sub-Seminar Type Systems
  • 9 November - 15 November

    November 9: Sub-Seminar Type Systems
    November 11: Seminar
  • 16 November - 22 November

    November 16: Sub-Seminar Type Systems
    November 18: Seminar
  • 23 November - 29 November

    November 23: Sub-Seminar Type Systems
  • 30 November - 6 December

    November 30: Sub-Seminar Type Systems
  • 7 December - 13 December

    December 7: Sub-Seminar Type Systems
  • 14 December - 20 December

    December 14: Sub-Seminar Type Systems
  • 11 January - 17 January

    January 11: Sub-Seminar Type Systems
  • 18 January - 24 January

    January 18: Sub-Seminar Type Systems
  • 25 January - 31 January

    January 25: Sub-Seminar Type Systems