Martin Lang hat im Rahmen der Konferenz AixForMed den AKM Förderpreis 2010 verliehen bekommen. Herr Lang hat für seine am Lehrstuhl Informatik 11 durchgeführte Bachelorarbeit „Entwicklung eines dezentral implementierten Sicherheitskonzeptes für intensivmedizinische Anwendungen“ den mit 1000 Euro dotierten zweiten Platz des AKM Förderpreises 2010 erhalten. Die Jury würdigte damit die Interdisziplinarität und den Innovationsgrad von Herrn Langs Arbeit.
Das Fußballteam des Lehrstuhls für Informatik 11 hat einen verdienten 5. Platz im diesjährigen Informatikcup erreicht.
In einer sehr anspruchsvollen Gruppe konnte sich das Team bis kurz vor die Pforte des Halbfinales durchkämpfen.
Im Spiel um Platz 5 konnte dann noch einmal ein souveräner Sieg eingefahren werden.
Wir danken dem I5 für die sehr gute Organisation und gratulieren zum erneuten Turniersieg.
Den diesjährigen 6th International Workshop on Systems Software Verification (SSV 2011) organisiert Jörg Brauer aus unserer Gruppe gemeinsam mit Marco Roveri vom FBK-irst und Hendrik Tews von der TU Dresden. Herr Professor Stefan Kowalewski wird zudem Mitglied des Programmkomittees sein. Die Veranstaltung findet am 26. und 27. August 2011 in Nijmegen in den Niederlanden zusammen mit der 2nd International Conference on Interactive Theorem Proving statt.