News
Spring 2015: Network funded by EPSRC
July 2015: Network Administrator post advertised
September 2015: Network provides PhD travel support for Agent Verification workshop
September 2015: Innovate UK issues Software Verification and Validation for Complex Systems funding competition
October 2015: Network issues Call for an Distinguished International Academic visitor in 2016.
December 2015: Network provides PhD travel support for York Winter School on Verification of Mobile and Autonomous Robots