| February 1:: Introduction | doc | |
| February 8:: Modeling Switches and Bridges | doc | |
| February 22: Constructing Proofs | doc | |
| March 1-8: Leader Election, Breadth First Search, and Spanning Tree Protocol | doc | |
| March 15: Midterm Review/Complexity/Fairness and Liveness | doc | |
| March 29: Wireless Networks | ||
| April 12: Spanning Trees | doc | |
| April 26: Logical Time | ppt | |
| May 3: Time Synchronization | doc |