VSL 2014: VIENNA SUMMER OF LOGIC 2014
HOL Program Committee

The program committee of HOL14 is shown below.