Institute of Computer Languages
Compilers and Languages Group
| Who | What | When | Where |
|---|---|---|---|
| Dr. Volker Braun | Darum gehört die Stadt Dir - Ein Einblick in IT-Lösungen für den Betrieb von Bussen und Straßenbahnen | 2008-12-17 15:00 c.t. | TU Wien, Elektrotechnik, EI 5 Hochenegg-Hörsaal, Gußhausstraße 25-29 (Altbau), 2. Stock |
| Dr. Laura Kovacs | Invariant Generation by Algebraic Techniques for Software Verification | 2008-11-28 16:00 s.t. | TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte) |
| Dr. David Gregg | Virtual Machine Showdown: Stack Versus Registers | 2008-09-22 16:00 s.t. | TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte) |
| Assistant Prof. Dr.Sanjay Misra | Measuring Complexity of a Program Code | 2008-07-04 14:00 c.t. | TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte) |
| Prof. Dr. Uday Khedker | Heap Reference Analysis | 2008-04-01 14:00 c.t. | TU Wien, Elektrotechnik, EI 5 Hochenegg-Hörsaal, Gußhausstraße 25-29 (Altbau), 2. Stock |
| Prof. Dr. Kokichi Futatsugi | Verifying Specifications with Proof Scores in CafeOBJ | 2008-03-12 14:00 s.t. | TU Wien, Elektrotechnik, EI 1 Petritsch-Hörsaal, Gußhausstraße 25-29 (Altbau), 2. Stock |
List of talks given in 2007.