Are you ready to exchange ideas and explore the latest formal verification best practices? Join us for an in-person event designed to expand your verification expertise and showcase the newest innovations in the field.

Gain exclusive insights from the Cadence Jasper expert team on the future of formal verification, including the latest technology roadmap. Through in-depth technical sessions and interactive discussions tailored for intermediate and advanced Jasper users, you'll discover practical techniques, advanced methodologies, and real-world applications to help maximise your verification success.

Locations and Dates

Tuesday, November 10

Cambridge, UK - Clayton Hotel

Thursday, November 12

Grenoble, France - CoLoft Meylan

Thursday, November 19

Munich, Germany - Cadence Office

Agenda at a Glance

Here's an overview of what is happening at the event! Please view the individual session agendas for more information.

*Agenda may be subject to change