VSL 2014: VIENNA SUMMER OF LOGIC 2014
SMT Program Committee

The program committee of SMT 2014 is shown below.