VSL 2014: VIENNA SUMMER OF LOGIC 2014
Francois Pottier
Organization: INRIA
Web site: http://cristal.inria.fr/~fpottier/
Pages in this Program
LOLA Home Page
LOLA Program Committee