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