Welcome to the Home Page of the NSF SaTC CyberSpace 2015 Workshop
CyberSpace 2025 Workshop Announcement
NSF in cooperation with Federal S&T agencies will hold the Cyberspace 2025 Workshop on Tuesday-Wednesday, April 22-23, 2014 at the Waterview Conference Center located at 1919 North Lynn Street in Arlington, VA 22209. This an invitation-only workshop, chaired by Pat Lincoln (SRI).
This group is explicitly for a Workshop proposed for mid-February in the DC area.
This invitation-only workshop took place over February 18-19, 2014. Invitations were issued to researchers with interests and potential impact in Cyber-Physical Systems, with a special emphasis on participation by early career researchers, based on their responses to the call for participation. The goal of the workshop is to help aspiring PIs understand what NSF (and importantly, the panels convened by NSF) are expecting to see in a successful CPS proposal.
This group is the official website of the Workshop on Applied veRification for Continuous and Hybrid Systems (ARCH)
While progress in the verification of continuous and hybrid systems has lead to academic tools and algorithms that can handle systems of considerable complexity, the transition to industrial applications is challenging. The goal of this group is to bring together researchers and practitioners, and to establish a curated set of benchmarks submitted by academia and industry. The benchmark repository is intended to serve as a lasting and evolving resource to the research community.
20th IEEE International Conference and Workshops on the Engineering of Computer Based Systems
ECBS 2013 will be the 20th Annual IEEE International Conference and Workshops on the Engineering of Computer Based Systems (ECBS). The meeting is dedicated to formulating and advancing methods, techniques and tools for the Engineering of Computer-Based Systems.
