Mo | Di | Mi | Do | Fr | Sa | So |
---|---|---|---|---|---|---|
Sep 29, '14
6. Informatiktag 2014 |
Sep 30, '14
OCG Horizonte 2014 - September |
Okt 1, '14 | Okt 2, '14 |
Okt 3, '14
Informatik-Kolloquium: Combination of Static Analysis and Model Checking Techniques for Scalable Verification2014/10/03 Der Arbeitsbereich für Programmiersprachen und Übersetzer am Institut für Computersprachen lädt zu folgendem Vortrag ein: Vortragneder: Dr. Markus Schordan, Lawrence Livermore National Laboratory, CA, USA DATUM: Freitag, den 3. Oktober 2014, 14:00 Uhr c.t. *) *) Tee: 13:30 Uhr in der Bibliothek E185.1, Argentinierstr. 8, 4. Stock (Mitte).
|
Okt 4, '14 | Okt 5, '14 |