Graduate Seminar "Formale Methoden"

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

A A A | Print | Imprint | Sitemap | Contact
zum Seitenanfang