The Upcoming.org Archives
Galois
421 SW 6th Ave., Suite 300
Portland,
Oregon
97204
September 15, 2008
Galois Tech Talk: Left-fold enumerators
at Galois
September 16, 2008
Galois Tech Talk: Theorem Proving for Verification
at Galois
October 2, 2008
Galois Tech Talk: Bluespec SystemVerilog
at Galois
October 7, 2008
Galois Tech Talk: The Future of Cabal
at Galois
October 14, 2008
Galois Tech Talk: Type Correct Changes: A Safe Approach to Version Control Implementation
at Galois
October 30, 2008
Galois Tech Talk: Factor: an extensible interactive language
at Galois
January 20, 2009
Galois Tech Talk: Android G1: Experiences with an open mobile platform
at Galois