Organizers: Prof. H. Mantel, Prof. Chr. Walther
Location: Room S2-02 / E302
Time: 16:25-18:00
The following talks are already scheduled:
Datum | Name | Titel |
|
|
|||
17.10.2007 |
|
||
24.10.2007 |
|
||
31.10.2007 |
|
||
07.11.2007 | Joachim Steinmetz | Formale Verifikation von mutimodalen Benutzerschnittstellen im Bereich von modellbasierter Softwareentwicklung |
|
14.11.2007 |
|
||
21.11.2007 |
|
||
28.11.2007 |
|
||
05.12.2007 | Richard Gay | Das Feststellen und Ausnutzen von auf Interrupts basierenden verdeckten Kanälen |
|
12.12.2007 | Roman Knöll | Pegasus F - Naturalistic Programming
|
|
19.12.2007 | Moritz Sinn | "Implementierung, Integration und Evaluation eines ACI-Matchingverfahrens" - Bachelor-Arbeit |
|
09.01.2008 | Sandra Wortmann | "Kompositionale Zugriffskontrolle für strukturierte Dienste", Dieser Vortrag findet am 09.01.2008 nicht statt, er wird in den Februar oder März verschoben. |
|
16.01.2008 | ----------------- |
|
|
23.01.2008 | ----------------- |
|
|
30.01.2008 | Dr. Andreas Roth
|
Formale Methoden für Unternehmenssoftware? - Aktueller Zustand und Herausforderungen |
|