VSL 2014: VIENNA SUMMER OF LOGIC 2014
Xiuyi Fan
Organization: Department of Computing, Imperial College London
Pages in this Program
KR Program Committee