| ||||||
| ||||||
Seminars | ||||||
| ||||||
| Week of January 12, 2014 | ||||||
|
|
|
|
||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||
|
Wednesday, January 15, 2014 |
|||
|
|
Jan 15 |
4:15 p.m. - 5:45 p.m. |
CS 201: TBA, SPEAKER: TBA, Symantec
|
|
|
|||
|
Thursday, January 16, 2014 |
|||
|
|
Jan 16 |
4:15 p.m. - 5:45 p.m. |
CS 201: Dafny: A Programming System for Program Correctness, RUSTAN LEINO, Microsoft Research
|