Institute of Computer Languages
Compilers and Languages Group
| Who | What | When | Where |
|---|---|---|---|
| Prof. Ing. Tomáš Hruška, CSc. | The Lissom Project - System for HW/SW Co-Design | 2009-12-18 10:00 s.t. | TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte) |
| Dr. Baltasar Trancón y Widemann | Programming as a Model for the Theory of Ecosystems | 2009-12-14 16:30 s.t. | TU Wien, Elektrotechnik, EI9 Hlawka-Hörsaal, Gußhausstraße 25-29 (Neubau), Erdgeschoss |
| Prof. Dr. Mehdi Jazayeri | Difficult Lessons from Software Engineering | 2009-11-04 16:30 s.t. | TU Wien, Elektrotechnik, EI9 Hlawka-Hörsaal, Gußhausstraße 25-29 (Neubau), 2. Stock |
| Prof. Dr. Uwe Aßmann | Collaboration-Based Composition of Languages | 2009-11-04 10:00 c.t. | Kontaktraum, Elektrotechnik, Gußhausstraße 25-29 (Neubau), Stiege 1 (6. Stock) |
| Prof. Dr. Christoph Kessler | Optimierende Komposition paralleler Programme aus Komponenten | 2009-08-04 11:00 s.t. | TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte) |
| Prof. Dr. Wolf Zimmermann | Robuste Komponentensysteme durch Protokollprüfung | 2009-06-05 14:00 c.t. | TU Wien, Elektrotechnik, EI 4 Reithoffer-Hörsaal, Gußhausstraße 25-29 (Altbau), 2. Stock |
| Ass.-Prof. Dr. Armelle Bonenfant, Ass.-Prof. Dr. Marianne de Michiel | Loop Analysis with oRange | 2009-04-21 14:00 s.t. | TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte) |
| Clément Ballabriga, M.Sc. | An Introduction to OTAWA | 2009-04-21 11:00 s.t. | TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte) |
| Prof. Dr. Robert Glück | Is There a Fourth Futamura Projection? | 2009-04-01 17:00 s.t. | TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte) |
| Dipl.-Inform. Rebekka Neumann | Deadlock-Analyse für unvollständige Java Card 3.0 Programme | 2009-02-27 15:00 c.t. | TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte) |
| Dr. Bernhard Scholz | Static Program Analysis for Bug and Security Vulnerability Checking of Systems Code | 2009-02-26 15:00 s.t. | TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte) |
| Dr. Nikolaj Popov | Specification, Verification and Synthesis of Tail Recursive Programs in Theorema | 2009-02-05 10:00 c.t. | TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte) |
| Madalina Erascu, M.Sc. | Forward Symbolic Execution for Program Verification in Theorema System | 2009-02-04 16:30 | TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte) |
| Prof. Dr. Tudor Jebelean | Combining Automated Reasoning and Algebraic Methods in Theorema | 2009-02-04 15:00 c.t. | TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte) |
| Dr. Nikolaj Popov | Functional Program Verification in Theorema. Recent Achievements and Perspectives | 2009-02-04 14:00 s.t. | TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte) |
| Dr. Markus Schordan | Development of Infrastructures for Automatic Program Analysis | 2009-02-04 10:00 c.t. | TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte) |
| Dipl.-Inf. Lars Alvincz | Bridging the Memory Gap: A Framework for Intelligent Speculative Compiler Optimization | 2009-01-13 16:00 c.t. | TU Wien, FH Hörsaal 3, Freihausgebäude, Wiedner Hauptstr. 8 (Turm B, gelber Bereich, 2. OG) |
List of talks given in 2008.