Organizing Committee

Chairs:

Ruben Gamboa, University of Wyoming

Jun Sawada, IBM Austin Research Laboratory

John Cowles, University of Wyoming

Local Arrangements:

Jo Moore

Program Committee

  • David Greve, Rockwell Collins, Inc.
  • John Harrison, Intel Corporation
  • Warren Hunt, University of Texas
  • Deepak Kapur, University of New Mexico
  • Matt Kaufmann, University of Texas
  • Bill Legato, NSA
  • Mike Lowry, NASA
  • Panagiotis Manolios, Northeastern University
  • John Matthews, Galois Connections
  • Jose Meseguer, University of Illinois
  • Paul Miner, NASA
  • J Strother Moore, University of Texas
  • Rex Page, University of Oklahoma
  • Jose Luis Ruiz-Reina, University of Seville
  • Laurence Pierre, Université de Nice Sophia-Antipolis, Laboratoire TIMA
  • David Russinoff, Advanced Micro Devices, Inc.
  • Konrad Slind, University of Utah
  • Matt Wilding, Rockwell Collins, Inc.