Seminars
Week of January 12, 2014
Sun
Mon
Tue
Wed
Thu
Fri
Sat
12
13
14
15
4:15 p.m. - 5:45 p.m.
CS 201: TBA, SPEAKER: TBA, Symantec
16
4:15 p.m. - 5:45 p.m.
CS 201: Dafny: A Programming System for Program Correctness, RUSTAN LEINO, Microsoft Research
17
18
Powered by
WebEvent (tm)
.