Seminars are in Room NE43-308, 1-2:30pm on Fridays, unless otherwise noted.
Information on this page is constantly updating.
| Date | Speaker | Topic/Abstract |
|---|---|---|
| Feb 22 | Nancy Lynch | Real-Time Dynamic Atomic Broadcast |
| Mar 1 | Lenore Zuck | Automatic Verification of Parameterized Systems |
| Mar 8 | No TDS Seminar | |
| Mar 15 | No TDS Seminar | |
| Mar 22 | Omar Bakr (2:15pm-3:15pm) |
Evaluating the Performance of a Communication Round over the Internet |
| Mar 29 | Spring Vacation | |
| Apr 5 | Dilsun Kirli Kaynar | Simulating Nondeterministic Systems at Multiple Levels of Abstraction |
| Apr 12 | Toh Ne Win | Assisting IOA Design and Verification with Daikon |
| Apr 19 | ||
| Apr 26 | ||
| May 3 | ||
| May 10 | David Liben-Nowell | Analysis of the Evolution of Peer-to-Peer Systems |
| May 17 |