To promote the ability for doing research on a scientific topic and for presenting it in a seminar paper and in a talk; and to get acquainted with new fields in the area of software engineering.
Formal verification of software - methods and tools.
First meeting (discussion of topics and dates): Wednesday, March 11, 2015, 16:00, seminar room "Gödel" (Favoritenstr. 9/ground floor/access from the courtyard) Please register for the seminar via TISS, or if this fails via email to salzer@logic.at. For more information see www.logic.at/lvas/se_fvsw. If necessary the seminar will be held in English.
Ort: TISS