VSL 2014: VIENNA SUMMER OF LOGIC 2014
Lee Pike
Organization: Galois, Inc.
Web site: http://www.cs.indiana.edu/~lepike/
Pages in this Program
ACL2 Call for Papers
ACL2 Program Committee
ITP Program Committee