| ||||||
| ||||||
Seminars | ||||||
| ||||||
| Two Weeks starting on October 18, 2015 | ||||||
|
|
|
|
||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||
|
Tuesday, October 20, 2015 |
|||
|
|
Oct 20 |
4:15 p.m. - 5:45 p.m. |
CS 201: Network Verification - When Hoare Meets Cerf, GEORGE VARGHESE, Microsoft Research
|
|
|
|||
|
Thursday, October 29, 2015 |
|||
|
|
Oct 29 |
4:15 p.m. - 4:45 p.m. |
CS 201: Inside the Moonshot Factory at [x], DARCY GRINOLDS, Google
|