Institute of Computer Languages
Compilers and Languages Group

News Archive

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