VSL 2014: VIENNA SUMMER OF LOGIC 2014
Jared Davis
Organization: Centaur Technology, Inc.
Web site: http://www.cs.utexas.edu/~jared/
Pages in this Program
ITP on Monday, July 14th, 2014
ITP Program
Program
Program for Monday, July 14th, 2014