Formal Methods at Scale: Menlo Park Agenda

Submitted by Katie Dey on Wed, 09/18/2019 - 1:05pm

AGENDA - West Coast
WEDNESDAY, OCTOBER 9
SRI International - 333 Ravenswood Ave, Menlo Park, CA 94025
0800 - 0830		Check-In \| Networking
MORNING SESSION
0830 - 0845		Welcome Remarks Brad Martin (NSA)
0845 - 0915		One Minute of Fame For Each Attendee
0915 - 0945		Goals of the meeting Patrick Lincoln (SRI International) and Bill Scherlis (DARPA)
0945 - 1015		Case Introduction Warren Hunt (UT Austin)
1015 - 1030		BREAK
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 - 1330		LUNCH & TALK Speaker: Gernot Heiser (Data61 and UNSW Sydney)
AFTERNOON SESSION
1330 - 1430		Panel & Discussion: Proofs, Provers, and Process at Scale *Natarajan Shankar (SRI), Nikolaj Bjørner (Microsoft Research), Denis Bueno (Sandia), Eric Smith (Kestrel Institute)
1430 - 1445		BREAK
1445 - 1545		Panel & Discussion: Applications *John Mitchell (Stanford), Mike Lowry (NASA Ames), and Lee Pike (Amazon Web Services)
1545 - 1645		Panel 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
1715		ADJOURN

*Panel moderator