Organizing Committee

Program Committee

• John Cowles, University of Wyoming, USA
• Ruben Gamboa, University of Wyoming, USA
• Mike Gordon, Cambridge University, UK
• Matt Kaufmann, University of Texas at Austin, USA
• Francisco Palomo Lozano, Universidad de Cádiz, Spain
• Panagiotis Manolios, Northeastern University, USA
• John Matthews, Galois, Inc., USA
• J Strother Moore, University of Texas at Austin, USA
• Rex Page, University of Oklahoma, USA
• Jun Sawada, IBM Austin Research Laboratory, USA
• Julien Schmaltz, Radboud University, Nijmegen, the Netherlands
• Natarajan Shankar, SRI International, USA
• Rob Sumners, Advanced Micro Devices, Inc., USA
• Freek Wiedijk, Radboud University, Nijmegen, the Netherlands
• Matt Wilding, Rockwell Collins, Inc.

Steering Committee

• John Cowles, University of Wyoming, USA
• Ruben Gamboa, University of Wyoming, USA
• Matt Kaufmann, University of Texas at Austin, USA
• Panagiotis Manolios, Northeastern University, USA
• J Strother Moore, University of Texas at Austin, USA
• Jun Sawada, IBM Austin Research Laboratory, USA
• Matt Wilding, Rockwell Collins, Inc., USA