Galois Tech Talks

Talk presented by David Spivak on June 3, 2010, part of the Galois Tech Talk series. See galois.com/blog/2010/05/27/tech-talk-categories-are-databases/ for slides and further information.

# vimeo.com/12428370 Uploaded 3,282 Plays 5 Comments

Galois Tech Talks

Galois Video

This channel contains video from the tech talks presented by http://galois.com

Galois has been holding weekly technical seminars since 2006 on topics from functional programming, formal methods, compiler and language design, to cryptography, and operating…


+ More

This channel contains video from the tech talks presented by http://galois.com

Galois has been holding weekly technical seminars since 2006 on topics from functional programming, formal methods, compiler and language design, to cryptography, and operating system construction, with talks by many figures from the programming language and formal methods communities. The talks are open and free.

Each week new tech talks are published at http://galois.com/blog/category/tech-talks/ and you can find out about upcoming talks on http://twitter.com/galoisinc

Browse This Channel

Shout Box

Heads up: the shoutbox will be retiring soon. It’s tired of working, and can’t wait to relax. You can still send a message to the channel owner, though!

Channels are a simple, beautiful way to showcase and watch videos. Browse more Channels.