VSL 2014: VIENNA SUMMER OF LOGIC 2014
Ori Lahav
Organization: Max Planck Institute for Software Systems
Web site: http://www.mpi-sws.org/~orilahav/
Pages in this Program
CAV on Saturday, July 19th, 2014
CAV Program
GSB on Sunday, July 13th, 2014
GSB Program
IJCAR on Saturday, July 19th, 2014
IJCAR Program
LATD on Friday, July 18th, 2014
LATD Program
NCPROOFS on Sunday, July 20th, 2014
NCPROOFS Program
Program
Program for Friday, July 18th, 2014
Program for Saturday, July 19th, 2014
Program for Sunday, July 13th, 2014
Program for Sunday, July 20th, 2014