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.