Preview of Jasper User Group 2022
This year's Jasper User Group is coming up later this month on October 19th and 20th. Once again, we are back in person (I'll be there!) on the Cadence campus. There will also be a 3-hour webinar available before the event to provide an introduction to formal techniques in general and Jasper in particular. When you register, you can pick just the conference, just the webinar, or both.
The Jasper User Group is the biggest gathering of formal verification experts in the world. Most of the presentations are by some of these experts who work at companies that are customers of Cadence. So come and learn from the best.
Lunch is provided each day, and there are also demos. Historically, this has all been in building 5, but it is in the process of being remodeled, so I'm guessing this will be in the cafeteria. All will become clear on the day. There is also a reception at the end of the first day.
The table below gives the agenda for the two days. Let me point out some highlights.
As usual, we bracket the two days with two of the most important presentations, so you have to be there at the beginning and stay until the end. The first day opens with Ziyad Hanna giving the state of the formal union and, especially, what advances we have made in Jasper over the last year.
Then the second day ends with Habeeb Farah giving the technology update. This usually has some forward-looking roadmaps that I'm not allowed to write about in my blog posts after the event. You have to be there.