Some photos of the conference

General Chair: David Redmiles

General Chair: David Redmiles

Conference Audience

Conference Audience

ASE Fellows: Michael R. Lowry, Douglas R. Smith, Cordell Green, with Steering Committee Yves Ledru

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)

Andrea Zisman (PC Co-Chair),
John Penix (PC Member),
Tom Ellman (PC Co-Chair)

John Penix (PC Member) and Willem Visser (PC Member)

John Penix (PC Member) and Willem Visser (PC Member)

Jim Jones is presenting a paper

Jim Jones is presenting a paper

Bill Swartout is giving a keynote speech

Bill Swartout is giving a keynote speech

Panelists: John Grundy, Debra J. Richardson, Yves Ledru, Motoshi Saeki, Michael Lowry

Panelists: John Grundy, Debra J. Richardson, Yves Ledru, Motoshi Saeki, Michael Lowry

Short Paper Sessions

Short Paper Sessions

Short Paper Sessions

Short Paper Sessions

Conference Coordinator: Debra Brodbeck

Conference Coordinator: Debra Brodbeck

Distinguished Paper Award

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