Program committee co-chairs:

Borzoo Bonakdarpour (McMaster University, Canada)

Scott Smolka (Stony Brook Universtiy, USA)

 

Program committee members:

Gul Agha (University of Illinois at Urbana-Champaign, USA)

Thomas Ball (Microsoft Research, Redmond, USA)

Howard Barringer (The University of Manchester, UK)

Ezio Bartocci (TU Wien, Austria)

David Basin (ETH Zurich, Switzerland)

Saddek Bensalem (Verimag, France)

Ivona Brandic (TU Wien, Austria)

Marsha Chechik (University of Toronto, Canada)    

Michael Clarkson (George Washington University, USA)

Laura Dillon (Michigan State University, USA)

Shlomi Dolev (Ben Gurion University, Israel)

Alastair Donaldson (Imperial College London, UK)

Dawson Engler (Stanford University, USA)                 

Ylies Falcone (Université Joseph Fourier, France)

Vijay Garg (University of Texas at Austin, USA)

Steve Goddard (University of Nebraska-Lincoln, USA)

Ganesh Gopalakrishnan (University of Utah, USA)

Wolfgang Grieskamp (Google, USA)

Radu Grosu (TU- Wien, Austria)

Klaus Havelund (NASA/JPL, USA)

Mats Heimdahl (University of Minnesota, USA)

Laurie Hendren (McGill University, Canada)

Gerard Holzmann (NASA/JPL, USA)

Taylor Johnson (UT-Arlington, USA)

Daniel Keren (Haifa University, Israel)

Sandeep Kulkarni (Michigan State University, USA)

Marta Kwiatkowska (University of Oxford, UK)

Insup Lee (University of Pennsylvania, USA)             

Axel Legay (IRISA/INRIA, France)

Martin Leucker (University of Lübeck, Germany)

Leonardo Mariani (University of Milano Bicocca, Italy)

Patrick Meredith (University of Illinois at Urbana-Champaign, USA)

David Naumann (Stevens Institute of Technology, USA)

Samaneh Navabpour (University of Waterloo, Canada)

Doron Peled (Bar Ilan University, Israel)

Mauro Pezze (University of Lugano, Switzerland)

Lee Pike (Galois Inc., USA)

Nadia Polikarpova (ETH Zurich, Switzerland)

Zvonimir Rakamaric (University of Utah, USA)

Grigore Rosu (University of Illinois at Urbana-Champaign, USA)

Andrey Rybalchenko (TU-Munich, Germany)

Andre Schiper (EPFL, Switzerland)

Oleg Sokolsky (University of Pennsylvania, USA)

Scott Stoller (Stony Brook University, USA)

Serdar Tasiran (Koc University, Turkey)

Michael Whalen (University of Minnesota, USA)

Lenore Zuck (University of Illinois at Chicago, USA)