Modeling

The formalization of system engineering models and approaches.
forum

Visible to the public Postdoctoral Research Position in Medical Cyber-Physical Systems at UVA Link Lab

Postdoctoral Research Fellow Opportunity: The Department of Computer Science and the Department of Electrical and Computer Engineering in the School of Engineering and Applied Science at the University of Virginia seek to hire a postdoctoral research fellow to support the faculty and students in the CPS Link Lab (https://engineering.virginia.edu/link-lab/).

forum

Visible to the public Verification Tool Competition:

ARCH brings together researchers and practitioners to establish a curated set of benchmarks for verification, testing and reachability, and evaluate them in a friendly competition. ARCH started in 2014 and has sustained a vibrant community since. Since 2017, ARCH has organized as a part of the workshop the International Competition on Verifying Continuous and Hybrid Systems (ARCH-COMP, https://cps-vo.org/group/ARCH/), now in its 3rd iteration.

event

Visible to the public  VECoS 2019
Oct 07, 2019 7:00 am - Oct 09, 2019 6:00 pm WEST

International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2019)

co-located with the International Symposium on Formal Methods, FM 2019.