1:15-2:00 Plenary Keynote: Biomedical Cyber Physical Systems You Can Bet Your Life On, Patrick Lincoln, SRI

Special Interest Group: CPS Foundations and Architectures I Discussion Lead: Bruce Krogh

  12:30-1:30 Conversation with Government and Industry: Transportation, Energy, and Manufacturing Government/Industry panel discussion   Aviation Mark Ballin, NASA Bruce Holmes, on behalf of FAA JPDO Jake Hinchman, AFRL Ground Transportation Ed Griffor, Chrysler and USCAR consortium David Kuehn, FHWA Shige Wang, General Motors Manufacturing

11:00-11:30 -- Paul Eremenko, DARPA - CPS Foundations

10:30-11:00 -- Q&A and Panel Discussion Panelists: (TBA, moderator), Edward Lee, Janos Sztipanovits, Nancy Lynch, George Pappas

9:45-10:00 -- Nancy Lynch (MIT): Mathematical Foundations for CPS 10:00-10:15 -- George Pappas (U Penn): Quantitative Analysis of Control Networks 10:15-10:30 -- Janos Sztipanovits (Vanderbilt): Science of Integration for CPS