19th International SPIN Workshop on Model Checking of Software (SPIN 2012)
Posted: 23rd May 2012
Oxford's Department of Computer Science will host the 19th International SPIN Workshop on Model Checking of Software (SPIN 2012) from 23-24 July 2012. SPIN 2012 is the latest in a successful series of workshops for practitioners and researchers interested in state space-based techniques for the validation and analysis of software systems. This year's event features invited talks and tutorials from Tom Ball, Andrey Rybalchenko, Andreas Zeller and Cristian Cadar, as well as 16 other talks. See the web site for full details:
http://qav.cs.ox.ac.uk/spin2012/