VSL 2014: VIENNA SUMMER OF LOGIC 2014
Vasco Manquinho
Organization: INESC-ID, IST/University of Lisbon, Portugal
Web site: http://sat.inesc-id.pt/~vmm/
Pages in this Program
Program
Program for Monday, July 14th, 2014
SAT on Monday, July 14th, 2014
SAT Program