VSL 2014: VIENNA SUMMER OF LOGIC 2014
Umair Siddique
Organization: Concordia University, Montreal, Canada
Web site: http://users.encs.concordia.ca/~muh_sidd/
Pages in this Program
FWFM on Sunday, July 13th, 2014
FWFM Program
HOL on Sunday, July 13th, 2014
HOL Program
ITP on Wednesday, July 16th, 2014
ITP Program
Program
Program for Sunday, July 13th, 2014
Program for Wednesday, July 16th, 2014