VSL 2014: VIENNA SUMMER OF LOGIC 2014
Pierre-Yves Strub
Organization: IMDEA Software Institute
Web site: http://pierre-yves.strub.nu/
Pages in this Program
CSF on Sunday, July 20th, 2014
CSF on Tuesday, July 22nd, 2014
CSF Program
FCS-FCC Home Page
ITP on Tuesday, July 15th, 2014
ITP Program
IWC Call for Papers
IWC Program Committee
Program
Program for Sunday, July 20th, 2014
Program for Tuesday, July 15th, 2014
Program for Tuesday, July 22nd, 2014