Organization
- Program chairs: Madhusudan Parthasarathy (UIUC) and Sanjit A. Seshia (UC Berkeley)
- Workshop chair: Shuvendu Lahiri (Microsoft)
- Publicity chair: Bryan Brady (IBM)
- Local arrangements: Miyoko Tsubamoto (UC Berkeley)
- Webmaster: Edgar Pek (UIUC)