VSL 2014: VIENNA SUMMER OF LOGIC 2014
Jiaxiang Liu
Organization: School of Software, Tsinghua University; LIX, École Polytechnique
Pages in this Program
Program
Program for Monday, July 14th, 2014
RTA-TLCA on Monday, July 14th, 2014
RTA-TLCA Program