Activities

 

September 2015: A one-day workshop on Agent Verification held on 11th September, attached to TAROS 2015 in Liverpool; Network provides PhD bursaries.

 

December 2015: A week-long Winter School on the Verification of Mobile and Autonomous Robots, held at the University of York, from 1st to 4th December; Network provides PhD bursaries.

 

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

 

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 [as yet unconfirmed, but tentatively 1st July].

Lorem ipsum dolor sit amet, consectetur adipiscing elit. Aliquam tincidunt lorem enim, eget fringilla turpis congue vitae. Phasellus aliquam nisi ut lorem vestibulum eleifend. Nulla ut arcu non nisi congue venenatis vitae ut ante. Nam iaculis sem nec