2019 Meeting
Cyber-Physical Systems Virtual Organization:
Active Resources Review Meeting
Tuesday, July 16, 2019 | National Science Foundation | Alexandria, Virginia
Introduction |
|
1000 - 1015 | Overview of Key Results - Janos Sztipanovits |
VO Portal Infrastructure |
|
1015 - 1045 |
Usability and Community Activation - Katie Dey (VU) |
Portal Infrastructure Updates - Stephen Rees (VU) |
|
Tools and Design Studios |
|
1045 - 1100 |
Infrastructure for Design Studios and Current Status - Stephen Rees (VU) |
1100 - 1110 |
Status report on the Verification Tool Repository - Marcus Lucas (UCLA) |
1110 - 1130
|
Community Perspective: Verification - Taylor Johnson (VU) and Tamas Kecskes (VU) |
Competitions and Community Outreach |
|
1130 - 1150
|
CPS Challenge Series - Jnaneshwar Das (UPenn) |
1150-1205 |
Cyber-Physical Systems Security Summer Camps - Katie Dey (VU) |
|
|
1205 - 1225 | Short Break |
|
|
1225 - 1245 |
Community Outreach |
Discussion about the future of the CPS and SoS VO |
|
1245 - 1255 |
Introduction - Janos Sztipanovits (VU) |
1255 - 1330 |
Discussion |