Institute of Computer Languages
Compilers and Languages Group

Talks 2009

The Compilers and Languages Group organizes following talks:

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.

Complang
   About Us
   Research
   Lehre
   Service
      Robotics
      Library
      Talks 2017
      Talks 2016
      Talks 2015
      Talks 2014
      Talks 2013
      Talks 2012
      Talks 2011
      Talks 2010
      Talks 2009
      Talks 2008
      Talks 2007
      Talks 2006
      Talks 2005
      Talks 2004
Sitemap
Contact
Faculty of Informatics
Vienna University of Technology
top | HTML 4.01 | last update: 2017-02-13 (Webmaster)