Institute of Computer Languages
Compilers and Languages Group
| Who | What | When | Where |
|---|---|---|---|
| Prof. Dr. Ernst-Rüdiger Olderog | Automatic Verification of Combined Specifications | 2007-12-13 14:00 c.t. | TU Wien, Elektrotechnik, EI 5 Hochenegg-Hörsaal, Gußhausstraße 25-29 (Altbau), 2. Stock |
| Dipl.-Inform. Karsten Klohs | Validation of Interprocedural Analysis Results | 2007-12-04 14:00 s.t. | TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock, Mitte |
| Sir Charles Antony Richard (Tony) Hoare | Fine-Grain Concurrency | 2007-11-27 17:00 s.t. | TU Wien, Neues Elektrotechnisches Institutsgebäude, Hörsaal EI 9, Gußhausstraße 25, EG |
| Prof. Dr. Robert Glück | Reversible Machine Code and its Abstract Processor Architecture | 2007-11-09 14:00 c.t. | TU Wien, Elektrotechnik, EI 3 Sahulka-Hörsaal, Gußhausstraße 25-29 (Altbau), 2. Stock |
| Dr. Ursula Scheben | Vereinfachung und Vereinheitlichung der Komposition für industrielle Komponentenmodelle | 2007-09-21 14:00 c.t. | TU Wien, Elektrotechnik, EI 4 Reithoffer-Hörsaal, Gußhausstraße 25-29 (Altbau), 2. Stock |
| Dr. Michael Gschwind | Cell Broadband Engine: Architecture and Software | 2007-09-04 14:00 s.t. | TU Wien, Elektrotechnik, EI 4 Reithoffer-Hörsaal, Gußhausstraße 25-29 (Altbau), 2. Stock |
| Prof. Dr. Sabine Glesner | Correct and Efficient Software Systems: Pie in the Sky or Viable Vision? | 2007-06-25 16:00 c.t. | TU Wien, Elektrotechnik, Hörsaal EI 5 (Hochenegg-Hörsaal), Gußhausstraße 25-29 (Altbau), 2. Stock |
List of talks given in 2006.