Seminar Formal Methods and Automated Reasoning II (SS 2023)

Abschnittsübersicht

• Abschnitt Allgemeines auswählen

  Allgemeines

  Alles einklappen Alles aufklappen

  326.099, Tuesday 16:15-17:45, Room: MT 327, Start: March 7, 2023

  
  

  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 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).

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

  • Aktivität Announcements auswählen

    

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

    

    Questions and Answers Forum
• Abschnitt Tuesday, March 7, 2023, 16:15, Zoom auswählen

  Tuesday, March 7, 2023, 16:15, Zoom

  • Introduction and Organization
    
• Abschnitt Tuesday, March 28, 16:15-17:45, MT 327 auswählen

  Tuesday, March 28, 16:15-17:45, MT 327

  • Joachim Borya: Status report on bachelor thesis
    
  • Viktoria Langenreither: Status report on master's thesis
    
  • Wolfgang Schreiner: Update report on RISCTP software
    

  • Aktivität Formalisation of Relational Algebra and a SQL-like Language with the RISCAL Model Checker auswählen

    

    Formalisation of Relational Algebra and a SQL-like Language with the RISCAL Model Checker Datei PDF
  • Aktivität A Saturation-Based Automated Theorem Prover for RISCAL auswählen

    

    A Saturation-Based Automated Theorem Prover for RISCAL Datei PDF
  • Aktivität The RISCTP Software - Some Recent Developments... auswählen

    

    The RISCTP Software - Some Recent Developments... Datei PDF
• Abschnitt Tuesday, April 25, 16:15-17:45, MT 327 auswählen

  Tuesday, April 25, 16:15-17:45, MT 327

  • Temur Kutsia: Symbolic Constraints and Quantitative Extensions of Equality
    

  • Aktivität Symbolic Constraints and Quantitative Extensions of Equality auswählen

    

    Symbolic Constraints and Quantitative Extensions of Equality Datei PDF
• Abschnitt Tuesday, May 16, 2023, 16:15-17:45, S2 054 auswählen

  Tuesday, May 16, 2023, 16:15-17:45, S2 054

  • Georg Ehling: Matching in Quantitative Equational Theories
    

  • Aktivität Matching in Quantitative Equational Theories auswählen

    

    Matching in Quantitative Equational Theories Datei PDF
• Abschnitt Tuesday, June 20, 16:15-17:45, MT 327 auswählen

  Tuesday, June 20, 16:15-17:45, MT 327

  • Viktoria Langenreither: Status report on master's thesis
  • Wolfgang Schreiner: Model elimination in RISCTP
    

  • Aktivität A Saturation-Based Automated Theorem Prover for RISCAL auswählen

    

    A Saturation-Based Automated Theorem Prover for RISCAL Datei PDF
  • Aktivität The RISCTP Software: A Model Elimination Prover auswählen

    

    The RISCTP Software: A Model Elimination Prover Datei PDF