VSL 2014: VIENNA SUMMER OF LOGIC 2014
Zhiwu Xu
Organization: PPS, Paris 7 and SKLCS, ISCAS
Pages in this Program
ITRS Call for Papers
ITRS Program Committee