TIME 2005
Home
Call for Papers
Important Dates
Accepted Papers
Program
Registration
Invited Speakers
Conference Officers
Program Committee
Venue
Tourist Information
Contacts

Invited Speakers

  • Patrice Godefroid, Lucent Bell Labs, USA: Generalized Model Checking
  • Betty Salzberg, Northeastern University, USA: Indexing Inventory Snapshots
time2005@cse.buffalo.edu