Tutorial Announcement: Requirements in Structured Natural Language with FRET

Dr. Johann Schumann, a guest researcher from SGT/NASA, will give a tutorial on FRET (Formal Requirements Elicitation Tool), an-open source requirements formalization tool currently developed by NASA. The tutorial is planned for Thursday, January 23, 15:00 – 17:00 and Friday, January 24, 14:00 – 16:00 in the room MW 3618 (FSD Seminar Room). For a detailed abstract, please refer to the attached announcement.

Please register by contacting Julian Rhein.

Lecture announcement: Model-Based Fault Diagnosis

This April, the course “Model-Based Fault Diagnosis – A Linear Synthesis Framework using MATLAB” will be held by Andreas Varga at the FSD.

The lectures are held in the FSD seminar room MW 3618 during the following dates:

Week 1

  • April 4th: 09:00-13:00 (Wednesday)
  • April 6th: 09:00-12:00 (Friday)

Week 2

  • April 11th: 09:00-13:00 (Wednesday)
  • April 13th: 13:00-16:00 (Friday)

Week 3

  • April 18th: 09:00-13:00 (Wednesday)
  • April 20th: 13:00-16:00 (Friday)

Registration

Registration via Email required! Please send your name and enrolment number to Jorg Angelov.