Institute of Computer Languages
Compilers and Languages Group

Talks 2012

The Compilers and Languages Group organizes following talks:

Who What When Where
Prof. Dr. Tor Stålhane Safety Analysis and Boilerplates 2012-11-27 17:00 c.t. TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte)
Dr. Stefan Brunthaler NAMASTE: Adaptive Optimization in Interpreters 2012-10-11 15:00 c.t. TU Wien, Seminarraum Zemanek, Favoritenstr. 9-11, Erdgeschoss
Prof. Dr. David Broman Modeling, Simulating, and Compiling with Timing Semantics 2012-10-04 15:00 c.t. TU Wien, Seminarraum Zemanek, Favoritenstr. 9-11, Erdgeschoss
Dr. Raimund Kirner An Infrastructure for Multi-Level Optimisation through Property Annotation and Aggregation 2012-09-28 17:00 s.t. TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte)
Dr. Xavier Rival MemCAD, a Modular Abstract Domain for Reasoning on Memory States 2012-09-04 15:00 c.t. TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte)
Prof. Dr. Kokichi Futatsugi Introduction to specification and verification in CafeOBJ 2012-07-18 10:00 s.t.

2012-07-25 10:00 s.t.

2012-08-01 10:00 s.t.

2012-08-08 10:00 s.t.
TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte)
DI Christian Piechnick, DI Claas Wilke ZESSY - Entwurf zukünftiger eingebetteter Systeme 2012-04-10 15:00 c.t. TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte)
Prof. Dr. Kokichi Futatsugi Foundations of Verification with Proof Scores in CafeOBJ 2012-04-05 15:00 c.t. TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte)
Prof. Dr. habil. Christian Heinlein MOSTflexiPL - Modular, Statically Typed, Flexibly Extensible Programming Language 2012-02-13 15:00 c.t. TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte)

List of talks given in