Seminars

Two Weeks starting on 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
19
20
Martin Luther King Day
21
4:15 p.m.
CS 201: Cyber-Physical Systems at Small and Large Scales, MARYLIN WOLF, Georgia Tech
22
23
24
25

Powered by WebEvent (tm).