VSL 2014: VIENNA SUMMER OF LOGIC 2014
Xiaoping Chen
Organization: University of Science and Technology of China
Web site: http://www.wrighteagle.org
Pages in this Program
KR Program Committee