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.