Institute of Computer Languages
Compilers and Languages Group

Talks 2012

The Compilers and Languages Group organizes following talks:

Who What When Where
Prof. Dr. Tor Stålhane Safety Analysis and Boilerplates 2012-11-27 17:00 c.t. TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte)
Dr. Stefan Brunthaler NAMASTE: Adaptive Optimization in Interpreters 2012-10-11 15:00 c.t. TU Wien, Seminarraum Zemanek, Favoritenstr. 9-11, Erdgeschoss
Prof. Dr. David Broman Modeling, Simulating, and Compiling with Timing Semantics 2012-10-04 15:00 c.t. TU Wien, Seminarraum Zemanek, Favoritenstr. 9-11, Erdgeschoss
Dr. Raimund Kirner An Infrastructure for Multi-Level Optimisation through Property Annotation and Aggregation 2012-09-28 17:00 s.t. TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte)
Dr. Xavier Rival MemCAD, a Modular Abstract Domain for Reasoning on Memory States 2012-09-04 15:00 c.t. TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte)
Prof. Dr. Kokichi Futatsugi Introduction to specification and verification in CafeOBJ 2012-07-18 10:00 s.t.

2012-07-25 10:00 s.t.

2012-08-01 10:00 s.t.

2012-08-08 10:00 s.t.
TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte)
DI Christian Piechnick, DI Claas Wilke ZESSY - Entwurf zukünftiger eingebetteter Systeme 2012-04-10 15:00 c.t. TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte)
Prof. Dr. Kokichi Futatsugi Foundations of Verification with Proof Scores in CafeOBJ 2012-04-05 15:00 c.t. TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte)
Prof. Dr. habil. Christian Heinlein MOSTflexiPL - Modular, Statically Typed, Flexibly Extensible Programming Language 2012-02-13 15:00 c.t. TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte)

List of talks given in 2011.

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)