VSL 2014: VIENNA SUMMER OF LOGIC 2014
Alfredo Gabaldon
Organization: Carnegie Mellon University-Silicon Valley
Pages in this Program
KR Program Committee