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)