| ||||||
| ||||||
Seminars | ||||||
| ||||||
| Two Weeks starting on 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
|
|
|
|||
|
Monday, January 20, 2014 |
|||
|
|
Jan 20 |
|
Martin Luther King Day
|
|
|
|||
|
Tuesday, January 21, 2014 |
|||
|
|
Jan 21 |
4:15 p.m. |
CS 201: Cyber-Physical Systems at Small and Large Scales, MARYLIN WOLF, Georgia Tech
|