Seminar Formal Methods and Automated Reasoning II (SS 2022)

Section outline

• Select section Seminar Formal Methods and Automated Reasoning II (SS 2022)

  Seminar Formal Methods and Automated Reasoning II (SS 2022)

  Collapse all Expand all

  326.099, Tuesday 16:15-17:45, Room: to be announced, Start: March 8, 2022
  

  The seminar may (partially) take place online in the following Zoom meeting:
  https://jku.zoom.us/j/99585313716?pwd=L0x4OTgwbC9iVS9Gb3lxY25xS0Ywdz09
  Meeting-ID: 995 8531 3716 Passwort: ..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).

  To participate in the seminar, you have to register in the KUSSS System. If you create an account in the RISC Moodle (press the button "Create new account") and self-enrol in the course (press the button "Enrol me"), then you will also receive all messages posted in the course forums per email.

  • Select activity Announcements

    

    Announcements Forum
• Select section March 8, 16:15-17:45, HS 17

  March 8, 16:15-17:45, HS 17

  • Joachim Borya: Mathematical Modelling of Relational Databases in RISCAL
  • Ágoston Sütő: Transformation of LTL Formulas into Automata (Master Thesis Presentation)
• Select section May 17, 16:15-17:45, Zoom (not: K 012D)

  May 17, 16:15-17:45, Zoom (not: K 012D)

  • Ágoston Sütő: Non-emptyness Check for Generalized Büchi Automata