Institute of Computer Languages
Compilers and Languages Group

Talks 2008

The Compilers and Languages Group organizes following talks:

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.

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)