VSL 2014: VIENNA SUMMER OF LOGIC 2014
Kazushige Terui
Organization: RIMS, Kyoto University
Web site: http://www.kurims.kyoto-u.ac.jp/~terui/
Pages in this Program
LG on Tuesday, July 15th, 2014
LG Program
NCPROOFS on Sunday, July 20th, 2014
NCPROOFS Program
Program
Program for Saturday, July 12th, 2014
Program for Sunday, July 20th, 2014
Program for Tuesday, July 15th, 2014
SD on Saturday, July 12th, 2014
SD Program