...
- 3/11/13 - Phone call (Branch, Wilson, Nadav-Manes)
- 5/7/13 - Phone call (Branch, Wilson)
- 6/6/13 - Meeting (Wilson, Ocken)
- 6/11/13 - Phone call (Branch, Wilson)
- 6/25/13 - Phone call (Branch, Wilson)
- 7/2/13 - Phone call (Branch, Wilson)
- 7/9/13 - Phone call (Branch, Wilson, Nadav-Manes)
- 7/19/13 - Phone call (Branch,Wilson)
- 7/22/13 - Meeting (Bertchume, Ocken, Wilson)
- 7/26/13 - Phone call (Branch, Wilson)
- 7/30/13 - Phone call (Branch, Wilson)
Phase 2
...
Meetings
- 12/05/13 - Phone call (Branch, Wilson)
- 12/20/13 - Phone call (Branch, Wilson, Nadav-Manes)
- 1/9/14 - Meeting (Bertchume, Ocken, Chong, Wilson)
- 1/16/14 - Phone call (Branch, Wilson)
- 1/24/14 - Phone call (Branch, Wilson)
- 1/31/14 - Phone call (Branch, Wilson)
- 2/28/14 - Phone call (Branch, Wilson)
- 3/7/14 - Phone call (Branch, Wilson, Nadav-Manes)
- 3/13/14 - WebEx LS-Tools demo (Branch, Chandler, Hoyt, Arroyo; Bertchume, Ocken, Chong, Wilson)
- 3/13/14 - Phone call (Branch, Wilson)
- 4/9/14 - Meeting (Witte, Bertchume, Ocken, Wilson)
- 4/11/14 - Phone call (Branch, Wilson, Chandler)
...
Meeting notes
Batch Processing Proof Registry scorecard
...