News

May 2017:

A one-day workshop on Software Verification and Validation for Complex Systems, held at the University of Liverpool, London campus, on 17 May 2017.

March 2017:

A one-day workshop on the Verification and Validation of Sensing and Control Models in Autonomous Systems, held at Holiday Inn Royal Victoria Hotel, on 10 March 2017.

November 2016:

A one-day workshop on Verification and Validation for Autonomous Road Vehicles, held at the University of Liverpool, London campus, on 4th November 2016.

July 2016: 

A one-day workshop on Industrial Perspectives on V&V for Autonomous Systems, held as part of TAROS 2016 at the University of Sheffield on 1st July 2016.

February 2016: 

A one-day workshop on Autonomous Systems: Legal/Regulatory Aspects and V&V, held at the University of Liverpool, London campus, on 22nd February 2016.

December 2015: 

Network provides PhD travel support for York Winter School on Verification of Mobile and Autonomous Robots

October 2015: 

Network issues Call for a Distinguished International Academic visitor in 2016.

September 2015: 

Innovate UK issues Software Verification and Validation for Complex Systems funding competition

September 2015: 

Network provides PhD travel support for Agent Verification workshop 

September 2015: 

Network funding commences and Network Administrator appointed.

July 2015: 

Network Administrator post advertised

Spring 2015: 

Network funded by EPSRC

Advertisements