VSL 2014: VIENNA SUMMER OF LOGIC 2014
Bernhard Kragl
Organization: Institute of Science and Technology Austria
Web site: http://ist.ac.at/~bkragl/
Pages in this Program
Program
Program for Wednesday, July 23rd, 2014
Vampire on Wednesday, July 23rd, 2014
Vampire Program