VSL 2014: VIENNA SUMMER OF LOGIC 2014
APPA Program Committee

The program committee of ∀X.Xπ 2014 is shown below.