Institute of Computer Languages
Compilers and Languages Group

Talks 2004

The Compilers and Languages Group organizes following talks:

Who What When Where
Prof. Dr. Bernhard Steffen Modellgenerierung für Legacy-Systeme 2004-10-06 18:00 Reithofer HS
Prof. Dr. Kokichi Futatsugi Equational Proofs in CafeOBJ 2004-09-02 16:15 FH HS 4
Dr. Christian W. Probst Proofing: Efficient SSA-based Java Bytecode Verification 2004-06-16 16:15 FH HS 4
Dr. Dan Quinlan Telescoping Languages: From Domain Specific Libraries to Domain Specific Languages 2004-06-07 16:15 FH HS 2
Dr. Adriana Popovici Real-Time Cellular Automata Recognizers 2004-02-18 16:15 Reithofer HS

List of talks in past years.

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)