
        Welcome and Introduction | 
        
            Ed Felten (White House OSTP)
               Bill Scherlis (CMU)  | 
      
AI applications, safety requirements, big ideas | 
        
            Manuela Veloso (CMU)
             John Launchbury (DARPA) Jason Matheny (IARPA) Andy Grotto (White House NSC) Discussion  | 
      
AI Algorithms, Intrinsic Safety, Explanations, Evaluations | 
        
            Claire Tomlin (UC Berkeley)
           Tom Dietterich (Oregon State) Emma Brunskill (CMU) Michael Littman (Brown) Discussion  | 
      
Mathematical Models and Reasoning | 
        
            Jeannette Wing (Microsoft)
           Kathleen Fisher (Tufts) Anupam Datta (CMU) Sarah Loos (Google) Discussion  | 
      
Systems and Safety Engineering | 
        
            Mike Wagner (CMU)
           Drew Bagnell (Uber) Reid Simmons (NSF) Brian Murray (ZF) Doug Schmidt (Vanderbilt) Discussion  |