|
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
|
|
26
|
27
|
28
CS 201: Sonar Inside Your Body – Toward Implantable Ultrasonic Sensor Networks, PROF TOMMASO MELODIA, State University of New York at Buffalo
|
29
|
30
4:15 p.m. - 5:45 p.m.
CS 201: Jon Postel Distinguished Lecture: The Functoriality of Data - Understanding Geometric Data Sets Jointly, LEONIDAS GUIBAS, Stanford University
|
31
|
1
|
