Seminar Formal Methods and Automated Reasoning I (WS 2021/22)

Abschnittsübersicht

• Abschnitt Seminar Formal Methods and Automated Reasoning I (WS 2021/22) auswählen

  Seminar Formal Methods and Automated Reasoning I (WS 2021/22)

  Alles einklappen Alles aufklappen

  326.063, Tuesday 16:15-17:45, Room: S2 120, Start: October 5, 2021

  The seminar takes place online in the following Zoom session:
  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 take part in the seminar, you have to enrol in the KUSSS system. If you also login in this Moodle instance and self-register as a course participant (click on the corresponding button), you will receive per email all forum messages.
  

  • Aktivität Announcements auswählen

    

    Announcements Forum
  • Aktivität Questions and Answers auswählen

    

    Questions and Answers Forum
• Abschnitt October 5 auswählen

  October 5

  • Kutsia, Schreiner, Windsteiger: Introduction and Organization
    
• Abschnitt November 30 auswählen

  November 30

  • Joachim Borya: The Mathematical Theory of Relational Databases
  • Ágoston Sütő: LTL Model Checking in RISCAL
    
• Abschnitt March 8 auswählen

  March 8

  • Joachim Borya: Relational Database Theory in RISCAL
  • Ágoston Sütő: Master Thesis Presentation