Institute of Computer Languages
Compilers and Languages Group

The Complang Group

About Us:

We are concerned with the design, implementation, and application of programming languages. The Complang Group belongs to the Institute of Computer Languages of the Faculty of Informatics at the Vienna University of Technology.

faculty and staff
who is responsible for what
how to reach us
more about us ...

NEWS

22-01-2013 - Award for Complang contribution at HiPEAC conference

The poster Using the CASM language for simulator synthesis and model verification done by our project assistant Roland Lezuo got honored at the HiPEAC conference in Berlin this year. The article got published at the ACM Digital Library (link), the poster can be found here. Congratulations on this success!

27-11-12 - Lecture announcment: Safety Analysis and Boilerplates

Date: Tuesday, November 27, 2012
Time: 17:00 c.t
Location: TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte)

03-10-12 - Preliminary lecture announcment for institute lectures

Preliminary lecture announcment for most of the lectures of the Complang-Group in 10 minute talks.

When: Wednesday, October 3, 2012, 13:30 s.t. till 14:30
Where: EI 5 Hochenegg Hörsaal

11-10-12 - Lecture announcment: NAMASTE: Adaptive Optimization in Interpreters

Date: Thursday, October 11, 2012
Time: 15:00 c.t
14:30 - Tea at Complang Institute Argentinierstrasse
Location: TU Wien, Seminarraum Zemanek, Favoritenstr. 9-11, Erdgeschoss

04-10-12 - Lecture announcment: Modeling, Simulating, and Compiling with Timing Semantics

Date: Thursday, October 04, 2012
Time: 15:00 c.t
14:30 - Tea at Complang Institute Argentinierstrasse
Location: TU Wien, Seminarraum Zemanek, Favoritenstr. 9-11, Erdgeschoss

28-09-12 - Lecture announcment: An Infrastructure for Multi-Level Optimisation through Property Annotation and Aggregation

Date: Friday, September 28, 2012
Time: 17:00 s.t
16:30 - Tea
Location: TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte)

04-09-12 - Lecture announcment: MemCAD, a Modular Abstract Domain for Reasoning on Memory States

Date: Tuesday, September 04, 2012
Time: 15:00 c.t
14:30 - Tea
Location: TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte)

01-07-12 - Lectureseries announcment: Prof. Dr. Kokichi Futatsugi - Introduction to specification and verification in CafeOBJ

Dates: Wednesday, July 18, 2012; July 25, 2012; August 01, 2012; August 08, 2012
Lecture: 10:00 - 11:30
Tutorial: 14:00 - 15:30
Location: TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte)

03-04-12 - Lecture announcment: ZESSY - Entwurf zukünftiger eingebetteter Systeme

Date: Tuesday, April 10, 2012
Time: 15:00 c.t.
Location: TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte)

03-04-12 - Doctoral College "Adaptive Distributed Systems"

Answering challenging questions of today's distributed computer systems by bringing together experts from various fields of computer science, mathematics and statistics, thus, fostering a multidisciplinary approach.

Call for Applications 2012/2013

Ultimate closing: March 15th, 2013
Start of program: Winter semester 2012(phase-in)

18-02-12 - Preliminary lecture announcment for institute lectures

Preliminary lecture announcment for most of the lectures of the Complang-Group in 10 minute talks.

When: Wednesday, March 7, 2012, 13:00 s.t. till 14:00
Where: EI 4 Reithoffer Hörsaal