Formal Methods at Scale: Menlo Park Agenda
AGENDA - West Coast
WEDNESDAY, OCTOBER 9
SRI International - 333 Ravenswood Ave, Menlo Park, CA 94025

0800 - 0830
 

Check-In | Networking
 
MORNING SESSION
0830 - 0845Welcome Remarks
Brad Martin (NSA)
0845 - 0915One Minute of Fame For Each Attendee
0915 - 0945
Goals of the meeting
Patrick Lincoln (SRI International) and Bill Scherlis (DARPA)
 
0945 - 1015Case Introduction
Warren Hunt (UT Austin)
1015 - 1030BREAK

1030 - 1100

Case Introduction: Using Formal Methods to Eliminate Exploitable Bugs
Kathleen Fisher (Tufts), remote
 

1100 - 1130
 

Technical Talk
Bryon Cook (Amazon Web Services)

1130 - 1200

Technical Talk
Clark Barrett (Stanford)
 
LUNCH SESSION
1200 - 1330LUNCH & TALK

Speaker: Gernot Heiser (Data61 and UNSW Sydney)
AFTERNOON SESSION
1330 - 1430Panel & Discussion: Proofs, Provers, and Process at Scale
*Natarajan Shankar (SRI), Nikolaj Bjørner (Microsoft Research), Denis Bueno (Sandia), Eric Smith (Kestrel Institute)
1430 - 1445BREAK
1445 - 1545Panel & Discussion: Applications
*John Mitchell (Stanford), Mike Lowry (NASA Ames), and Lee Pike (Amazon Web Services)
1545 - 1645Panel and Discussion: Injecting FM Into the Mainstream
*Matt Wilding (Collins Aerospace), David Tarditi (Microsoft), Sean Weaver (DoD)

1645 - 1715
 

Take aways: one minute each attendee
1715ADJOURN
 
*Panel moderator