OCG Blog - Kalender: Druckansicht

Events in dieser Wocher
Mo	Di	Mi	Do	Fr	Sa	So
Okt 1, '14	Okt 2, '14	Okt 3, '14 Informatik-Kolloquium: Combination of Static Analysis and Model Checking Techniques for Scalable Verification 2014/10/03 14:00 TU Wien, Seminarraum iCal 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
Okt 6, '14	Okt 7, '14