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).