PC co-Chairs
- Qinsi Wang, Carnegie Mellon University, USA
- Edmund M. Clarke, Carnegie Mellon University, USA
- Natasa Miskov-Zivanov, University of Pittsburgh, USA
Program Committee
- James Faeder, University of Pittsburgh, USA
- Benjamin Mate Gyori, Harvard University, USA
- Md. Ariful Islam, Carnegie Mellon University, USA
- Bing Liu, University of Pittsburgh, USA
- Natasa Miskov-Zivanov, University of Pittsburgh, USA
- Sucheendra K. Palaniappan, INRIA, France
- Carolyn Talcott, SRI International, USA
- P.S. Thiagarajan, Harvard University, USA
- Qinsi Wang, Carnegie Mellon University, USA
- Paolo Zuliani, Newcastle University, UK
|
