Softwarezuverlässigkeit Bernd Finkbeiner

News

Zeitplan für Samstag

Written: 22.06.2015 14:25
Modified: 22.06.2015 15:59
Written By: Peter Faymonville

Liebe Teilnehmer,

für unser Treffen am Samstag (E1 3, Raum 528) haben wir den folgenden Zeitplan vorgesehen:

Beginn Ende Referent Thema
9:00 9:30 P. Faymonville Feedback
9:30 10:00 N. Zeller Logic and Theorem Proving
10:00 10:30 K. Kopper Modeling Software Systems
10:30 10:45 - Pause
10:45 11:15 R. De Maeyer Formal Specifications
11:15 11:45 S. Baumann Automatic Verification
11:45 12:15 Ch. Rosenhauer Deductive Software Verification
12:15 13:45 - Mittagspause
13:45 14:15 D. Wagner Process Algebra and Equivalences
14:15 14:45 M. Halbe Timed Automata
14:45 15:15 A. Wilhelm Software Testing
15:15 15:30 - Pause
15:30 16:00 P. Held Combining Formal Mathods
16:00 16:30 Ch. Hahn Visualization

 

Für ihre Vorträge sind jeweils 20 Minuten plus 10 Minuten Feedback vorgesehen.

Die Mittagspause können Sie eigenverantwortlich organisieren, neben Lieferdiensten hat das Canossa oder die Sportlermensa samstags geöffnet.

Wir freuen uns auf ihre Vorträge!



Bei technischen Problemen wenden Sie sich bitte an die Administratoren