| TDS seminars schedule for Spring 2000 |
| Seminars are in Room NE43-308, 1-3pm on Fridays. Note the change from last semester. Information on this page is subject to change. |
| Date | Speaker and topic. |
| February 4, 200 | Roberto De Prisco. Topic: Dining Philosophers. |
| February 11, 2000 | Steve Garland. Topic: Larch Prover mini-course, Part 1. |
| February 18, 2000 | Steve Garland. Topic: Larch Prover mini-course, Part 2. |
| February 25, 2000 | Steve Garland. Topic: Larch Prover mini-course, Part 3. |
| March 3, 2000 | Steve Garland. Topic: Larch Prover mini-course, Part 4. |
| April 21, 2000 | Roberto De Prisco. Topic: TBA. |
| April 28, 2000 | Ziv Bar Bar-Joseph. Topic: TBA. |
|
|
| TOC / LCS / MIT | |
Last updated by $Author: josh $ on $Date: 1999/10/20 16:02:54 $.