Seminars
Two Weeks starting on October 11, 2015
Sun
Mon
Tue
Wed
Thu
Fri
Sat
11
12
13
4:15 p.m. - 5:45 p.m.
CS 201: From Hackathon Project to Billions of Writes: the Story of Safety Check, PETER COTTLE, Facebook
14
15
16
17
18
19
20
4:15 p.m. - 5:45 p.m.
CS 201: Network Verification - When Hoare Meets Cerf, GEORGE VARGHESE, Microsoft Research
21
22
23
24
Powered by
WebEvent (tm)
.