...USA Ranjit Jhala, UCSD, USA Joe Kiniry, University College Dublin, Ireland Sorin Lerner, UCSD, USA Nenad Medvidovic, USC, USA Christine Morin, INRIA, France Cristina Nita-Rotaru, Purdue University, USA Aleksey Nogin, Caltech, USA Nicolae Tapus, ``Politehnica'' University Bucharest, Romania Yuanyuan Zhou, UIUC, USA Yuval Tamir, UCLA, USA Tentative Keynote ...