“Verification Futures” is a 1 day conferences organised by TVS to discuss the challenges facing the industry over next 5 years. The first conference was held in the UK in 2011. The second is planned for European Verification week of 19th November 2012  UK (Monday), France (Wednesday) and Germany (Thursday).

This is your chance to contribute a user paper on a particular Verification Challenge that you have solved or a Verification Challenge that you want to replay to the verification community. Just email Mike Bartley with your name and idea for your paper.

Alternatively, why not just register to attend. We expect to have over 600 verification engineers at the three conferences so an excellent chance to network and catch up with over verification engineers across Europe.