Seminar Formal Methods and Automated Reasoning I (WS 2024/25)

Section outline

• Select section General

  General

  Collapse all Expand all

  326.063, Tuesday 16:30-18:00, Start: October 1, 2024, T 406/1
  

   

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

  You have to create an account in this Moodle instance (using your students.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.
  

  • Select activity Announcements

    

    Announcements Forum
  • Select activity Questions and Answers

    

    Questions and Answers Forum
• Select section Tuesday, October 1, 2024, 16:30-18:00, Zoom

  Tuesday, October 1, 2024, 16:30-18:00, Zoom

  • Introduction and Organization
  • Wolfgang Schreiner: The Machine Learning Problem - a Bird's-Eye View
    
    • Machine Learning Literature

  • Select activity Seminar Video

    

    Seminar Video URL
• Select section Tuesday, November 5, 2024, 16:30-18:00, T 406/1

  Tuesday, November 5, 2024, 16:30-18:00, T 406/1

  • Temur Kutsia
  • Georg Ehling

  • Select activity Symbolic Techniques for Quantitative Reasoning - Brief Report

    

    Symbolic Techniques for Quantitative Reasoning - Brief Report File PDF
  • Select activity Quantitative unification over “simply permutative” theories

    

    Quantitative unification over “simply permutative” theories File PDF
• Select section Tuesday, December 3, 2024, 16:30-18:00, T 406/1

  Tuesday, December 3, 2024, 16:30-18:00, T 406/1

  • Wolfgang Windsteiger (bachelor student)
  • Maximilian Donnermair
• Select section Tuesday, January 14, 2025, 16:30-18:00, T 406/1

  Tuesday, January 14, 2025, 16:30-18:00, T 406/1

  • Viktoria Langenreither