Institute of Computer Languages
Compilers and Languages Group

Talks 2014

The Compilers and Languages Group organizes following talks:

Who What When Where
Dr. Markus Schordan Combination of Static Analysis and Model Checking Techniques for Scalable Verification 2014-10-03 14:00 c.t. TU Wien, Seminarraum Argentinierstr. 8 (Erdgeschoss)
Wolf Zimmermann Was haben Compiler mit Pumpen zu tun? Entwurf und Implementierung Dom├Ąnen-spezifischer Sprachen zur Pumpenentwicklung 2014-06-05 15:00 s.t. TU Wien, Bibliothek E185.1, Argentinierstra├če 8, 4. Stock (Mitte)
Dipl.-Ing. Herbert Jordan The Insieme Compiler and Runtime Infrastructure 2014-01-28 17:00 s.t. TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte)
Prof. Dr. Michael Franz The Multicompiler: Software Defenses Using Compiler Techniques 2014-01-24 14:00 c.t. TU Wien, Freihaus Hörsaal 7, Wiedner Hauptstr. 8, 2. Stock (gelber Bereich)
Dr. Michael Gschwind Open Power and Power8 2014-01-23 14:00 c.t. TU Wien, Hörsaal EI5 Hochenegg, Elektrotechnik, Gußhausstraße 25-29 (Altbau), 2. Stock

List of talks given in 2013.

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)