News

 

Spring 2015: Network funded by EPSRC

July 2015: Network Administrator post advertised

September 2015: Network funding commences and Network Administrator appointed

 

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