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 |
|