2017 Meeting

Introduction

10:00-10:20

• Summary of Key Results (Janos)

Student Competitions:

10:20-10:50

• Arizona
  • CAT Competition (MathWorks, infrastructure, results, documentation, competitions in curriculum, ...)

10:50-11:20

• UCLA
  • Verification Oracle
  • Example Use Case

11:20-12:00

• UPenn
  • Results of last year
  • Plans for this year
  • Progress on simulation tools (incl. DJI + Microsoft)

SHORT BREAK

CPS-VO Site

12:30-1:30

• SoS Lessons Learned (Katie)
• VO Growth/Usage Metrics & Infrastructure Updates (Chris)
• Community Outreach (Frankie; e.g. community events supported/archived)

Design Studios

1:30-1:45

• ActiveResources & DesignStudios (incl demo)

1:45-2:00

• Wrapup