Proof Scaling Meeting
December 5-6 2024 | Berkeley, California | 20-40 people on AIxFV
ML4FV and FV4ML
Machine learning for formal verification and formal verification for machine learning. Bringing leading practitioners and academics together to discuss ML to scale and automate formal methods will inspire new ideas and help clarify some of the bigger picture opportunities and applications
The beautiful Lighthaven campus
We welcome you to Lighthaven's campus, onsite accommodations available.
Make sure you register
Registration form here. Please await confirmation email
Don't post docs site or registration link publicly
We have room for more of your colleagues, you can send them this website, but we may not accept everyone who registers. Please do so only in DMs/emails and not in public.