VSL 2014: VIENNA SUMMER OF LOGIC 2014
Suguru Tamaki
Organization: School of Informatics, Kyoto University
Web site: http://www.lab2.kuis.kyoto-u.ac.jp/~tamak/index.html
Pages in this Program
Program
Program for Monday, July 14th, 2014
SAT on Monday, July 14th, 2014
SAT Program