General Chair: David Redmiles
|
Conference Audience
|
ASE Fellows: Michael R. Lowry, Douglas R. Smith, and Cordell Green with Steering Committee Chair Yves Ledru
|
Andrea Zisman (PC Co-Chair), John Penix (PC Member),
Tom Ellman (PC Co-Chair)
|
John Penix (PC Member) and Willem Visser (PC Member)
|
Jim Jones is presenting a paper
|
Bill Swartout is giving a keynote speech
|
Panelists: John Grundy, Debra J. Richardson, Yves Ledru, Motoshi Saeki, Michael Lowry
|
Short Paper Sessions
|
Short Paper Sessions
|
Conference Coordinator: Debra Brodbeck
|
Distinguished Paper Award: "Application of Design for Verification with Concurrency
Controllers to Air Traffic Control Software",
Aysu BetinCan, Tevfik Bultan, Mikael Lindvall, Benjamin Lux, Stefan Topp
|