VSL 2014: VIENNA SUMMER OF LOGIC 2014
ACL2 Program Committee

The program committee of ACL2’14 is shown below.