Export or edit this event...

Galois Talk: Constructing a Universal Domain for reasoning about Haskell Datatypes

โ€“
Galois, Inc
421 SW 6th Ave. Suite 300
Portland, OR 97204, US (map)

Website

Description

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

Share

Tags

BESbswy