Program Agenda

Early Registration Check-in
Speakers' Presentation Tech Tests
Informal Networking (Light Refreshments)

Welcome and Introductory Remarks
Speakers: David Corman (NSF) and Gurdip Singh (NSF)

Keynote: Towards Ambient Intelligence for Healthcare: A CPS Perspective
Keynote Speaker: John Stankovic (University of Virginia)
Session Chair: Linda Bushnell (NSF)

CPS Frontier Panel
Session Chair: David Corman (NSF)
Panelists:

• Brandon Lucia (Carnegie Mellon University)
• Meeko Oishi (University of New Mexico)
• Ricardo Sanfelice (University of California Santa Cruz)
• Soumik Sarkar (Iowa State University)

Keynote: Safe Autonomy with Learning in the Loop
Keynote Speaker: George Pappas (University of Pennsylvania)
Session Chair: Vishal Sharma (NSF)

Diversity, Equity, and Inclusion (DEI) Luncheon (***Pre-registration required)
Session Chairs: Fei Miao (University of Connecticut) and Grace Gao (Stanford University)

Concurrent Workshops

• Artificial Intelligence (AI) for Healthcare (Rosslyn, Lobby Level)
• Ensuring Trustworthiness in AI-Enabled Cyber-Physical Systems (McLean, 2nd Level)
• Intelligent Autonomous Cyber-Physical Systems: Design, Verification, and Certification (Grand Ballroom Salons J&K)
• Socially Responsible Human Cyber-Physical Systems (Grand Ballroom Salons A&B)
• Workshop on the Future of Cyber-Physical Systems (Grand Ballroom Salons C&H)

Workshop Report-Backs
Session Chair: Simone Silvestri (University of Kentucky)

Breakfast & Informal Networking

Opening Remarks
Speakers: David Corman (NSF)

Keynote: Formal Methods for Cyber Physical Systems: State of the Art and Future Challenges
Keynote Speaker: Necmiye Ozay (University of Michigan)
Session Chair: David Corman (NSF)

• Allyson Kennedy (NSF)
• Michelle Rogers (NSF)
• Soumik Sarkar (Iowa State Uniiversity)
• Jinyuan Stella Sun (University of Tennessee, Knoxville)

Panel: CPS CAREER
Session Chair: Linda Bushnell (NSF)
Panelists:

• Fatemeh Afghah (Clemson University)
• Homa Alemzadeh (University of Virginia)
• Andrew Clark (Washington University in St. Louis)
• Simone Silvestri (University of Kentucky)

Keynote: Human Automation Teams in Cyber Physical Societal Systems Transformation
Keynote Speaker: Shankar Sastry (University of California, Berkeley)
Session Chair: David Corman (NSF)

Panel: Mentoring Graduate Students and Postdocs Towards Independent Careers in CPS
Session Chair: Asimina Kiourti (The Ohio State University)
Panelists:

• Fatemeh Afghah (Clemson University)
• Necmiye Ozay (University of Michigan)
• Punit Prakash (Kansas State University)
• Sriram Sankaranarayanan (Univ. of Colorado Boulder)
• Kyriakos Vamvoudakis (Georgia Institute of Technology)

NSF Ask me (almost) Anything Session
& Concluding Remarks
Speakers: David Corman and other NSF Program Officers