General Chair:

• Sivan Rabinovich (IBM)

Program Co-Chair:

• Valeria Bertacco (Associate Professor, University of Michigan)
• Axel Legay (research scientist at Inria Rennes)

Software testing track Co-Chairs:

• Amiram Yehudai (Tel-Aviv University)
• Itai Segall (IBM)

Tutorial Chair:

• Arkadiy Morgenshtein (IBM)

Local Organization:

• Eti Jahr (IBM)

Communications Chair:

• Ettie Gilead (IBM)

Social Media Lead:

• TBD!

Organizing Committee:

• Amir Nahir (IBM)
• Avi Ziv (IBM)
• Sharon Keidar-Barner (IBM)
• Hana Chockler (King's College London)
• Allon Adir (IBM)
• Karen Yorav (IBM)
• Moshe Levinger (IBM)

Program Committee:

• Valeria Bertacco, University of Michigan
• Armin Biere, FMV
• Roderick Bloem, Graz University of Technology
• Hana Chockler, King's College London
• Myra Cohen, University of Nebraska
• Alexandre David (Aalborg)
• Giuseppe Di Guglielmo, Columbia University
• Harry Foster, Mentor Graphics
• Alex Goryachev, IBM Israel
• Ian G. Harris, University of California Irvine
• Michael S. Hsiao, VirginiaTech
• Alan Hu, University of British Columbia
• Axel Legay, INRIA
• Jeff (Yu) Lei, The University of Texas at Arlington
• João Lourenço, Universidade Nova de Lisboa
• Rupak Majumdar, Max Planck - Saarbrucken
• Oded Maler, Verimag Grenoble
• Leonardo Mariani, University of Milan Bicocca
• Amir Nahir, IBM Israel
• Preeti Panda, IIT Delhi
• Hiren Patel, University of Waterloo
• Itai Segall, IBM
• Martina Seidl, FMV
• Mark Trakhtenbrot, Holon Institute of Technology
• Shobha Vasudevan, University of Illinois at U-C
• Sergiy Vilkomir, East Carolina University
• Ilya Wagner, Intel
• Li-C. Wang, University of California Santa Barbara
• Elaine Weyuker, DIMACS, Rutgers University
• Amiram Yehudai, Tel-Aviv University