Surrey to host AVOCS 2013

Thursday 4 October 2012

The Department of Computing will be hosting the 13th International Workshop on Automated Verification of Critical Systems (AVOCS 2013) during September 11-13, 2013. Recent workshops have been held in Bamberg Germany (2012), Newcastle (2011), Düsseldorf (2010) and Swansea (2009). Dr Helen Treharne and Prof Steve Schneider will be the programme chairs.

Page Owner: sl0022
Page Created: Thursday 4 October 2012 22:31:29 by sl0022
Last Modified: Friday 11 April 2014 13:49:17 by pg0016
Expiry Date: Saturday 4 January 2014 22:26:45
Assembly date: Wed Apr 16 21:42:36 BST 2014
Content ID: 90542
Revision: 5
Community: 1028