VSL 2014: VIENNA SUMMER OF LOGIC 2014
Marcello Mamino
Organization: Laboratoire d'Informatique de l'École Polytechnique (LIX)
Web site: http://ptmat.fc.ul.pt/~mamino/
Pages in this Program
CSL-LICS on Monday, July 14th, 2014
CSL-LICS Program
Program
Program for Monday, July 14th, 2014