Runtime Verification

Runtime Verification

Die Vorlesung Runtime Verification findet aufgrund des Forschungssemesters von Prof. Leucker nicht als reguläre Veranstaltung statt. Studenten, die gerne in diesem Semester einen entsprechenden Schein erwerben möchten, wird empfohlen, sich für die Sommerschule unserer Partneruniversität in Vladimir, Rußland, über den DAAD zu bewerben. Hier wird Herr Leucker einen Kurs über Runtime Verification halten, dessen Inhalt vergleichbar mit dem Vorlesungsstoff ist. Den entsprechenden Teilnehmern wird anschließend ermöglicht, eine Prüfung über den Stoff abzulegen und auf diese Weise den entsprechenden Schein zu bekommen.

ACHTUNG: Die Deadline für die Bewerbung zu dieser Sommerschule ist der 15. Mai 14. Nähere Informationen zur Sommerschule und zum Bewerbungsverfahren finden sich unter folgendem Link.

http://international.vlsu.ru/index.php/en/events/112-summerschool2014

Alternativ kann auch die Baltic Summer School in Riga besucht werden. Hierfür ist das gleiche Prozedere möglich.

http://www.rigasummerschool.eu/#!howtoapply/c42f

Für Rückfragen wenden Sie sich bitte an Herrn Leucker.