VIP 2019


This is an informal gathering of leaders in the Pacific Northwest making software verification work in practice, at scale, alongside modern software development and deployment practices. The meeting will take place on July 29, 2019 at the University of Washington.

Seattle is home to many of the leading projects and teams that are scaling up (by orders of magnitude!) the sort of work that 20 years ago was just a dream. Now instead of just lamenting the state of practice at academic conferences in formal methods and programming languages, verification is out in the wild making huge impacts. We have great synergy here in the region, using each other’s tools, learning from each other’s experiences, and leveraging each other’s talent.

We want to hear about real world successes and challenges through lightning talks, discussion-oriented panels, breakout discussions, and an end-of-day town hall.

Click here for travel info, directions to campus, and lodging.

Location and Time

University of Washington Club

8:30 am - 5:00 pm

4020 East Stevens Way NE

Seattle, WA 98195

  • Due to construction on E Stevens Way NE, there may be bus reroutes. Please don't hesitate to contact us if you have any questions about getting to campus.


8:30 — Coffee and Chat

9:00 — Welcome Note

9:15 — Lightning Talks 1

10:00 — Structured Discussions

11:00 — Break

11:15 — Lightning Talks 2

12:00 — Lunch

13:30 — Panel

14:30 — Break

14:45 — Breakout Session

16:00 — Town Hall

17:00 — Conclude

Panel Speakers

Byron Cook

Mike Dodds

Patrice Godefroid

Jon Howell

Chris Newcombe

Shaz Qadeer

Contact and Organization

Anna Wehowsky

Amanda Robles