Institute of Computer Languages
Compilers and Languages Group

Talks 2007

The Compilers and Languages Group organizes following talks:

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.

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)