Institute of Computer Languages
Compilers and Languages Group

Talks 2015

The Compilers and Languages Group organizes following talks:

Who What When Where
Prof. Dr. Gerald Baumgartner The Tensor Contraction Engine: A Domain-Specific Approach to Synthesizing High-Performance Codes for Quantum Chemistry 2015-12-17 10:30 s.t. TU Wien, Bibliothek E185.1, Argentinierstr. 8, 4. Stock (Mitte).
Prof. Dr. Dr.h.c. Dines Bjørner (Prof. Emeritus) A New Foundation for Computing Science 2015-10-29 14:00 s.t. TU Wien, Hörsaal 1, Theresianumgasse 27, 1040 Wien.
Prof. Dr. Jeffrey S. Foster Incremental Computation with Adapton 2015-09-24 11:00 s.t. (tea 10:30 in the library E185.1, Argentinierstr. 8, 4. floor (middle entry)) TU Wien, Bibliothek E185.1, Argentinierstr. 8, 4. Stock (Mitte).
Dr. Markus Schordan Verification and Performance Evaluation of Specialized Polyhedral Parallel Code 2015-05-22 15:00 s.t. (tea 14:30 in the library E185.1, Argentinierstr. 8, 4. floor (middle entry)) TU Wien, in Seminarraum Argentinierstr., Argentinierstr.8, ground-floor (entry Paniglgasse)
Prof. Dr. Franz Franchetti Formal Software Synthesis of Computational Kernels 2015-05-18 14:30 s.t. (tea 14:00 in the library E185.1, Argentinierstr. 8, 4. floor (middle entry)) TU Wien, EI 9 Hlawka HS, Elektrot.Institutsg., Gußhausstr. 25-29, Stiege 1, Erdgeschoss
Prof. Dr. Sid Touati Parametric and Non-parametric Statistics for Code Performance Analysis and Comparison 2015-04-27 15:00 s.t. (tea 14:30) TU Wien, Bibliothek E185.1, Argentinierstr. 8, 4. Stock (Middle entry)
Prof. Dr. Michael Franz Software Defenses Inspired by Biodiversity 2015-02-20 11:00 s.t. (tea 10:30) TU Wien, Bibliothek E185.1, Argentinierstr. 8, 4. Stock (Middle entry)

List of talks given in 2014.

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)