Institute of Computer Languages
Compilers and Languages Group

Talks 2010

The Compilers and Languages Group organizes following talks:

Who What When Where
Prof. Dr. Markus Müller-Olm Automata-Based Analysis of Recursive Programs with Thread-Creation 2010-12-10 15:00 c.t. TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte)
Prof. Dr. Martin Plümicke Typeless Programming in Java 5 and 7 2010-09-20 15:00 s.t. TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte)
Doug Simon What a meta-circular JVM buys you - and what not! 2010-09-20 11:00 s.t. TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte)
Lian Li, Ph.D. Parfait - Scalable and Precise Static Analysis for Bug Checking 2010-09-10 11:00 s.t. TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte)
Mani Swaminathan, M. Techn. Layered Composition of Data-Enriched Real-Time Systems 2010-09-07 10:00 s.t. TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte)
Prof. Dr. Björn Lisper Parametric WCET Analysis 2010-06-09 16:00 s.t. TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte)
Dr. Raimund Kirner From High-performance Computing to Embedded Systems - A Quest for Many-core Computing 2010-06-04 14:00 c.t. TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte)
Dr. Walther Neuper Tutoring <-- Single Stepping Interpretation of Functional Programs 2010-06-02 15:00 c.t. TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte)
Prof. Dr. Peter Müller Automatic Verification of Concurrent Programs in Chalice 2010-05-18 15:00 c.t. TU Wien, Seminarraum Argentinierstr., Argentinierstr. 8, EG (Eingang Paniglgasse)
Prof. Dr. Dr.h.c. Dines Bjørner, Emeritus Mereologies in Computing Science 2010-04-14 17:00 c.t. TU Wien, EI10 Fritz Paschke Hörsaal, Elektrotechnisches Institutsgebäude, Erdgeschoss, Gußhausstraße 25-29, 1040 Wien
Prof. Alan Hu, Ph.D. Modular Verification of Shared-Memory Concurrent Systems Software 2010-01-22 15:00 s.t. TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte)

List of talks given in 2009.

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)