VSL 2014: VIENNA SUMMER OF LOGIC 2014
SAT Program Committee

The program committee of SAT 2014 is shown below.