Change 554

Time Attribute with previous and current values
Change #554
2009-10-06
11:42:49

create Calagator::Event 1250457835 Galois Talk: Constructing a Universal Domain for reasoning about Haskell Datatypes Roll back

description nil The next talk in the Galois Tech Seminar series: * Date: Tuesday, October 13th, 2009 * Title: Constructing A Universal Domain for Reasoning About Haskell Datatypes * Speaker: Brian Huffman * Time: 10:30am - 11:30am * Location: Galois, Inc. 421 SW 6th Ave. Suite 300; Portland, OR 97204 For details (including an abstract and speaker bio), please see our blog post: http://www.galois.com/blog/2009/10/06/huffman-universal/ An RSVP is not required; but feel free to drop a line to levent.erkok@galois.com if you've any questions or comments. Levent Erkok
end_time nil 2009-10-13 11:30:00 -0700
id nil 1250457835
start_time nil 2009-10-13 10:30:00 -0700
title nil Galois Talk: Constructing a Universal Domain for reasoning about Haskell Datatypes
url nil http://www.galois.com/blog/2009/10/06/huffman-universal/
venue_id nil 202390439