VSL 2014: VIENNA SUMMER OF LOGIC 2014
Phan Phan Minh Dung
Organization: AIT
Web site: http://cs.ait.ac.th/~dung
Pages in this Program
KR Program Committee