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

Talk announcement: Combination of Static Analysis and Model Checking Techniques for Scalable Verification

Datum:
Freitag, den 3. Oktober 2014
Zeit:
14:00 Uhr c.t. (Tee 13:30 Uhr in der Bibliothek E185.1, Argentinierstr. 8, 4. Stock)
Ort:
TU Wien, Seminarraum Argentinierstr. 8 (Erdgeschoss)

Talk announcement: Combination of Static Analysis and Model

Checking Techniques for Scalable Verification
Datum:
Freitag, 3. October 2014
Zeit:
14:00 c.t. (Tea 13:30 in library E185.1, Argentinierstr. 8, 4th floor)
Ort:
TU Wien, Seminarraum Argentinierstr. 8 (Erdgeschoss)

Vortragsankündigung: Was haben Compiler mit Pumpen zu tun?

Entwurf und Implementierung Domänen-spezifischer Sprachen zur Pumpenentwicklung
Datum:
Donnerstag, 5. Juni 2014
Zeit:
15:00 Uhr s.t. (Tee: 14:30 Uhr)
Ort:
TU Wien, Bibliothek E185.1, Argentinierstr. 8, 4. Stock (Mitte)

21.01.14 - Vortragsankündigung: The Insieme Compiler and Runtime Infrastructure

Datum: Dienstag, den 28. Jänner 2014
Zeit: 17:00 s.t.
Ort: TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte)

14.01.14 - Vortragsankündigung: The Multicompiler: Software Defenses Using Compiler Techniques

Datum: Freitag, den 24. Jänner 2014
Zeit: 14:00 c.t.
Ort: TU Wien, Freihaus Hörsaal 7, Wiedner Hauptstr. 8, 2. Stock (gelber Bereich)

14.01.14 - Vortragsankündigung: Open Power and Power8

Datum: Donnerstag, den 23. Jänner 2014
Zeit: 14:00 c.t.
Ort: TU Wien, Hörsaal EI5 Hochenegg, Elektrotechnik, Gußhausstraße 25-29 (Altbau), 2. Stock

08.11.13 - Vortragsankündigung: More Type Inference in Java 8

Datum: Dienstag, den 12. November 2013
Zeit: 10:30 s.t.
Ort: TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte)

09.03.13 - Neue Lehrveranstaltungen am Institut für Computersprachen

185.A67 Computational Semantics (W)
185.A64 Übersetzer für Parallele Systeme (W)

09.10.13 - Vortragsankündigung: Finding Security Bugs in Java Programs using Datalog

Datum: Montag, den 14. Oktober 2013
Zeit: 14:00 c.t.
Ort: TU Wien, Seminarraum Argentinierstraße 8, Erdgeschoss (Eingang Paniglgasse)

18.09.13 - Vortragsankündigung: WCET Analysis of Parallel Real-Time Programs

Datum: Freitag, den 4. Oktober 2013
Zeit: 10:00 s.t.
Ort: TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte)

06.08.13 - Vortragsankündigung: Blue Gene/Q: Design for Sustained Multi-Petaflop Computing

Datum: Donnerstag, den 8. August 2013
Zeit: 11:00 s.t.
Ort: TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte)

12.06.13 - Vortragsankündigung: Streamix - Streaming Networks with Mixed Time Criticality

Datum: Donnerstag, den 20. Juni 2013
Zeit: 14:00 c.t.
Ort: TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte)

12.06.13 - Vortragsankündigung: AstraKahn: A Self-tuning Coordination Language for Stream-processing

Datum: Donnerstag, den 20. Juni 2013
Zeit: 13:00 s.t.
Ort: TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte)

27.03.13 - Das complang Institut gratuliert Laura Kovacs

Priv.Doz. Dr. Laura Kovacs tritt am 01.04.2013 eine Professur
für Formale Methoden an der Chalmers University of Technology
an. Das Institut für Computersprachen und der Arbeitsbereich
für Programmiersprachen und Übersetzer gratulieren herzlich
und wünschen Laura viel Erfolg für ihre neue Aufgabe!

26.03.13 - Ankündigung: 9. HiPEAC 2014 Konferenz in Wien

Nach Paris 2012 und Berlin 2013 findet 2014 die "9th International Conference on High-Performance and Embedded Architectures and Compilers (HiPEAC 2014)" in Wien unter lokaler Federführung des Arbeitsbereichs für Programmiersprachen und Übersetzer am Institut für Computersprachen der TU statt.
Datum: 20. Januar bis 22. Januar 2014.

06.03.13 - Gemeinsame Vorbesprechungen

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

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!

27.11.12 - Vortragsankü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)

News Archiv
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: 2014-09-23 (Webmaster)