Institut für Computersprachen
Programmiersprachen und Übersetzer

Die Complang-Gruppe

Über uns:

Wir beschäftigen uns in Wissenschaft und Lehre mit dem Entwurf, der Implementierung und Anwendung von Programmiersprachen. Organisatorisch gehören wir zum Institut für Computersprachen der Fakultät für Informatik an der Technischen Universität Wien.
MitarbeiterInnen
Funktionen und Aufgaben der MitarbeiterInnen
wo und wie Sie uns erreichen können
was wir tun und mehr über uns ...

NEWS

22.01.2013 - Auszeichnung für Complang Beitrag auf HiPEAC Konferenz

Das Poster Using the CASM language for simulator synthesis and model verification unseres Projektassistenten Roland Lezuo wurde auf der diesjährigen HiPEAC Konferenz in Berlin ausgezeichnet! Der Artikel wurde in der ACM Digital Library veröffentlicht (link), das Poster ist hier verfügbar. Wir gratulieren zu diesem Erfolg!

28.09.12 - Votragsankündigung: Safety Analysis and Boilerplates

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

02.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
   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 | letzte Änderung: 2013-02-04 (Webmaster)