VSL 2014: VIENNA SUMMER OF LOGIC 2014
Santiago Zanella-B├ęguelin
Organization: Microsoft Research
Web site: http://software.imdea.org/~szanella/
Pages in this Program
FCS-FCC Home Page
Program
Program for Friday, July 18th, 2014
VPT on Friday, July 18th, 2014
VPT Program