Seminar Formal Methods II (SS 2021)

Section outline

• Select section Seminar Formal Methods II (SS 2021)

  Seminar Formal Methods II (SS 2021)

  Collapse all Expand all

  326.099, Wednesday: 12:30-14:00, Zoom. Start: March 10, 2021.

  Zoom Meeting
  https://jku.zoom.us/j/99585313716?pwd=L0x4OTgwbC9iVS9Gb3lxY25xS0Ywdz09
  Meeting-ID: 995 8531 3716 Password: ..fmsem
  

  If you prefer another time, please send me an email.

  In this seminar, we explore current research and systems for specifying and verifying computer programs (specification languages, program verifiers, model checkers, ...). This continues the seminar of the previous semester.

  To take part in the seminar, you have to enrol in the KUSSS system. If you also login in Moodle and enrol as a course participant (click on the corresponding button), you will receive per email all forum messages.

  • Select activity Announcements

    

    Announcements Forum
  • Select activity Questions and Answers

    

    Questions and Answers Forum
• Select section Tuesday, April 13, 17:00-18:30

  Tuesday, April 13, 17:00-18:30

  • Lucas Payr: Master thesis presentation
    
  • Sebastian Falkensteiner: PhD thesis presentation
    

  • Select activity Refinement Types for Elm

    

    Refinement Types for Elm File
  • Select activity The Fundamental Theorem of Tropical Partial Differential Algebraic Geometry

    

    The Fundamental Theorem of Tropical Partial Differential Algebraic Geometry File
• Select section June 17, 2021

  June 17, 2021

  Joint presentation with the "computer algebra seminar".

  • Sebastian Falkensteiner: PhD thesis presentation
    

  • Select activity Recent development in Tropical Differential Algebra

    

    Recent development in Tropical Differential Algebra File