Softwarezuverlässigkeit Bernd Finkbeiner

News

Zeitplan für Mittwoch und Donnerstag

Written: 18.08.2015 12:38 Written By: Peter Faymonville

Liebe Teilnehmer,

für unsere Treffen am Mittwoch und Donnerstag (E1 3, Raum 528) haben wir den folgenden Zeitplan vorgesehen:

Mittwoch

Beginn Ende Referent Thema
9:00 9:40 N. Zeller Logic and Theorem Proving
9:40 10:20 K. Kopper Modeling Software Systems
10:20 10:40 - Pause
10:40 11:20 R. De Maeyer Formal Specifications
11:20 12:00 S. Baumann Automatic Verification
12:00 12:20 - Pause
12:20 13:00 Ch. Rosenhauer Deductive Software Verification

 

Donnerstag

Beginn Ende Referent Thema
9:00 9:40 D. Wagner Process Algebra and Equivalences
9:40 10:20 M. Halbe Timed Automata
10:20 10:40 - Pause
10:40 11:20 A. Wilhelm Software Testing
11:20 12:00 P. Held Combining Formal Mathods
12:00 12:20 - Pause
12:20 13:00 Ch. Hahn Visualization

 

Wir haben die Folienabgabe für ihre endgültige Abgabe nochmal bis heute Abend geöffnet, jetzt auch mit zusätzlichen Dateiformaten. Falls Sie keine PDF-Präsentation nutzen wollen, kommen Sie bitte heute für einen kurzen Test ihres Formats in Raum 533 vorbei.

Für ihre Vorträge sind jeweils 25-30 Minuten plus 10 Minuten Diskussion vorgesehen.

Wir freuen uns auf ihre Vorträge!



Bei technischen Problemen wenden Sie sich bitte an die Administratoren