Institute of Computer Languages
Compilers and Languages Group

Talks 2005

The Compilers and Languages Group organizes following talks:

Who What When Where
Prof. Dr. Egon Börger Adding a Semantical Foundation for Program Correctness to Hoare's Verifying Compiler Challenge 2005-09-20 11:00 EI HS 2
Dr. Bernhard Scholz Speculative Partial Redundancy Elimination 2005-07-29 16:00 Bibliothek E185/1
Dr. Falk Schreiber Analysis and Visualisation of Biological Networks 2005-06-27 14:00 SR 1, Operng. 11/3
Prof. Dr. Bogong Su Software De-Pipelining Technique And Its Applications 2005-06-23 16:00 Bibliothek E185/1
Prof. Dr. Sergei Gorlatch Send-Receive Considered Harmful: Mythen und Fakten moderner Parallelprogrammierung 2005-06-06 17:00 Reithofer HS
Dipl.-Inform. Andreas Hartmann Safe Escape Analysis Annotations 2005-04-29 14:00 HS 20
Prof. Dr. Wolf Zimmermann Statische Prüfung von Komponentenprotokollen in Komponentensystemen 2005-01-10 16:00 FH HS 4

List of talks given in 2004.

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 | Datenschutzerklärung | last update: 2018-05-25 (Webmaster)