VIP 2019
Overview
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
- 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.
Agenda
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
