Organizing Committee VMCAI

Barbara Jobstmann Co-chair

EPFL, Switzerland

Switzerland

K. Rustan M. Leino Co-chair

Microsoft Research

Ruzica Piskac Outreach Activities Chair

Yale University

David Schmidt ACM Contact

Lenore Zuck Treasurer & Conference Manager

UIC