TDS seminars schedule for Fall 2008
Seminars are in
Room
32-G531,
1 - 2:30 pm on Fridays ,
unless otherwise noted.
Information on this page is constantly updating.
| Date | Speaker | Topic/Abstract | Slides | |
| Sept. 19 | Murali Talupur | “Compositional Reasoning for Parameterized Verification System Verification”; Abstract | Slides | |
| Sept. 26 | Fabian Kuhn | “Algorithms and Lower Bounds for Distributed Coloring Problems”; Abstract | Slides | |
| Oct. 17 | Mykel Kochenderfer | “TCAS Verification”; (individual meetings) | ||
| Oct. 24 | Rotem Oshman | “Bounded Model-Checking for Universal Branching-Time Logic”; Abstract | Slides | |
| Oct. 31 | Alex Cornejo | “Spatial Computing and Self-Adapting Self-Origanizing Systems”; Abstract | Slides |