Presentations

2009

Abstraction Mechanisms for Modular Software Construction

  • March 2009: UCSB, UCDavis, UTSA, Iowa State University, University of Waterloo
  • April 2009: IBM T.J. Watson Research Center, UCLA, University of Central Florida
  • May 2009: LogicBlox, Inc.