5. Workshop „Entwicklung zuverlässiger Software-Systeme“

Der Workshop adressiert die Entwicklung zuverlässiger Software-Systeme mit allen Themenbereichen wie Zuverlässigkeit mobiler Systeme, IT Sicherheit, Nachweis der Erfüllung der Sicherheitsanforderungen, Analyse von Sicherheitsrisiken und Ada für sichere Systeme.
Das Tagungsprogramm informiert Sie über die Inhalte des Workshops im Einzelnen.

Workshop abgesagt.
Leider müssen wir Ihnen mitteilen, dass der 5. Workshop Entwicklung zuverlässiger Software-Systeme am 8. und 9. Juni 2016 nicht stattfinden konnte.

Call for Exhibition

Präsentieren Sie Ihre Produkte und Sicherheitstechniken auf dem diesjährigen Workshop. Wir heißen Sie als Aussteller willkommen.
Hier finden Sie die Informationen für Aussteller.

Call for Paper (geschlossen)

Hier finden Sie den Aufruf zur Einreichung von Beiträgen (als PDF)

Anfahrtsbeschreibungen und Pläne

Anfahrtsbeschreibung und Parkmöglichkeiten Haus Heuport
Anfahrtsbeschreibung und Parkmöglichkeiten TechBase
Plan OTH TechBase

Unterkünfte

In der Hotelliste finden Sie Hinweise auf Unterkünfte in der Regensburger Altstadt.

Mit freundlicher Unterstützung von

Logo Gesellschaft für Informatik
Logo Verein Deutscher Ingenieure
Logo Verband der Elektrotechnik Elektronik Informationstechnik e.V.
Logo Ostbayerische Technische Hochschule Regensburg
Logo Laboratory for Safe and Secure Systems
Logo Karlsruher Institut für Technologie
Logo Universtität Stuttgart
Logo AdaCore

Danksagung

Die Veranstalter danken dem LaS³ der OTH Regensburg für die Tagungsunterstützung und die Bereitstellung der Räumlichkeiten.
Den Sponsoren der Abendveranstaltung, AdaCore und Ada Deutschland, danken wir ebenfalls für die freundliche Unterstützung.