The Formal Verification Conference brings Verification Engineers, academics and EDA venders together to encourage discussion and exchange of information. Users present their current experiences of using formal verification and the challenges in further deployment and EDA vendors present their solutions and roadmaps. Academics provide a longer term view of the technology. Discussion is also set up to encourage the exchange of use models and flows to improve the industrial application of formal both in the near and long term.
This years event has been re-scheduled from its original date due to the UK elections now taking place on the 8th June.
- Tuesday 27th June, 2017 – Reading UK and Online
- Event Overview and Program
- Call for Submissions
- Eventbrite Registration