s of Invited Presentations The Mathematics of Matter and the Mathematics of Mind . . . . . . . . . . . . . 1 David Berlinski A Grand Challenge: Full Reactive Modeling of a Multi-cellular Animal. . . 2 David Harel (Weizmann Institute of Science) Developing Home Robotics Products: Challenges and Lessons Learned . . . 3 Udi Peless (Friendly Robotics) Regular Contributions Progress on Reachability Analysis of Hybrid Systems Using e Abstraction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 Rajeev Alur, Franjo Ivanˇci´c (University of Pennsylvania), Thao Dang (Verimag) Reachability Analysis of Nonlinear Systems Using Conservative Approximation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20 Eugene Asarin, Thao Dang (Verimag), Antoine Girard (LMC-IMAG) Mode Reconstruction for Source Coding and Multi-modal Control . . . . . . . 36 Adam Austin, Magnus Egerstedt (Georgia Institute of Technology) Hybrid Control Desig...