• Allgemeines

    326.063, Tuesday 16:15-17:45, Room: T 406/1, Start: October 3, 2023
    The seminar may (partially) take place online in the following Zoom meeting:

    Meeting-ID: 995 8531 3716 Password: ..fmsem

    This seminar discusses techniques and tools for formal methods and/or automated reasoning such as formal specification languages, program verification systems, model checkers, interactive proof assistants, automated theorem provers, satisfiability solvers, decision procedures, etc. It continues the (previously separated) seminars on formal methods and automated reasoning (Theorema).

    You have to create an account in this Moodle instance (using your jku.at email address) and self-register as a course participant (link "Enrol me in this course" at the top). Then you receive per email all messages posted in the "Announcements" forum and may yourself post messages in the "Questions and Answers" forum.

  • Tuesday, October 3, 2023, 16:15, Zoom

    • Introduction and Organization
  • Tuesday, November 28, 16:15 (T406/1)

    • Viktoria Langenreither: A Saturation-Based Automated Theorem Prover for RISCAL
    • Wolfgang Schreiner: The RISCTP Software - Equality and Theory Support for the MESON Prover
  • Tuesday, December 12, 16:15 (T 406/1)

    • Maximilian Donnermair: A generic approach to proximity-based matching
    • Georg Ehling
  • Tuesday, January 30, 16:15 (T 406/1)

    • Langenreither/Eckertsberger