VSL 2014: VIENNA SUMMER OF LOGIC 2014
Luigi Liquori
Organization: INRIA
Web site: http://www-sop.inria.fr/members/Luigi.Liquori/
Pages in this Program
LFMTP Program Committee