TDS seminars schedule for Fall 2007
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

Sep. 21

Mike Spindel

“Simulating Routing Protocols over Virtual

Nodes”; Abstract

pdf

Oct. 12

Alejandro Cornejo

"Enhancing Iterated Communication Models with

Failure-Detectors"; Abstract

pdf

Oct. 19

Shinya Umeno

“Formal verification of the NASA SPIDER start
up protocol: an automata theoretic approach”;
Abstract 

 

Nov. 2

Kishori Konwar

“Robust Network Supercomputing with

Malicious Processes”; Abstract

ppt

Dec. 14

Tina Nolte

“Self-Stabilization and Virtual Node Layer Emulations”; Abstract

ppt

 

 

 

TDS | TOC | CSAIL | EECS | MIT

Any Comments? Interested in speaking?

Spring 2007 seminars, Fall 2006 seminars