Institut für Computersprachen
Programmiersprachen und Übersetzer

News Archiv

03.10.12 - Gemeinsame Vorbesprechungen

Vorbesprechungen vieler Lehrveranstaltungen der Complang-Gruppe werden in einem gemeinsamen Block im 10-Minuten-Takt abgehalten:
Wann: Mittwoch, 3. Oktober 2012, 13:30 s.t. bis 14:30 Uhr
Wo: EI Hochenegg Hörsaal

11.10.12 - Votragsankündigung: NAMASTE: Adaptive Optimization in Interpreters

Datum: Donnerstag, 11. Oktober 2012
Zeit: 15:00 c.t.
14:30 - Tee Runde im Complang Institut in der Argentinierstrasse
Ort: TU Wien, Seminarraum Zemanek, Favoritenstr. 9-11, Erdgeschoss

04.10.12 - Votragsankündigung: Modeling, Simulating, and Compiling with Timing Semantics

Datum: Donnerstag, 04. Oktober 2012
Zeit: 15:00 c.t.
14:30 - Tee Runde im Complang Institut in der Argentinierstrasse
Ort: TU Wien, Seminarraum Zemanek, Favoritenstr. 9-11, Erdgeschoss

28.09.12 - Votragsankündigung: An Infrastructure for Multi-Level Optimisation through Property Annotation and Aggregation

Datum: Freitag, 28. September 2012
Zeit: 17:00 s.t.
16:30 - Tee Runde
Ort: TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte)

04.09.12 - Votragsankündigung: MemCAD, a Modular Abstract Domain for Reasoning on Memory States

Datum: Dienstag, 04. September 2012
Zeit: 15:00 c.t.
14:30 - Tee Runde
Ort: TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte)

01.07.12 - Ankündigung Vortragsserie: Prof. Dr. Kokichi Futatsugi - Introduction to specification and verification in CafeOBJ

Termine: Mittwochs, 18. Juli 2012; 25. Juli 2012; 01. August 2012; 08. August 2012
Vorlesung: 10:00 - 11:30
Übung: 14:00 - 15:30
Ort: TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte)

05.04.12 - Votragsankündigung: ZESSY - Entwurf zukünftiger eingebetteter Systeme

Datum: Dienstag, 10. April 2012
Zeit: 15:00 c.t.
Ort: TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte)

03.04.12 - Doktoratsstellen "Adaptive Distributed Systems"

Durch das Zusammenführen der Informatik, Mathematik und Statistik sollen aktuellste Problemstellungen Verteilter Systeme Interdisziplinär gelöst werden.
Bewerbungsintervall 2012/2013
Einsendeschluss: 15. März 2013
Beginn des Programms: Wintersemester 2012

18.02.12 - Gemeinsame Vorbesprechungen

Vorbesprechungen vieler Lehrveranstaltungen der Complang-Gruppe werden in einem gemeinsamen Block im 10-Minuten-Takt abgehalten:
Wann: Mittwoch, 7. März 2012, 13:00 s.t. bis 14:00 Uhr
Wo: EI 4 Reithoffer Hörsaal

Complang
   Über uns
      MitarbeiterInnen
      Kontakt
      Newsarchiv
   Research
   Lehre
   Service
English
Sitemap
Kontakt
Schnellzugriff:
MitarbeiterInnen
Praktika
Diplomarbeiten
Bibliothek
Publikationen
CD-Labor
Intern
Events
Fakultät für Informatik
Technische Universität Wien
Anfang | HTML 4.01 | Datenschutzerklärung | letzte Änderung: 2018-05-25 (Webmaster)