Galois is pleased to host the following tech talk. These talks are open to the interested public–please join us! (There is no need to pre-register for the talk.) title: Hardware Security’s Hierarchy of Attacks speaker: Joe FitzPatrick time: Tuesday, 30 April 2013, 10:30am. location: Galois Inc. 421 SW 6th Ave. Suite 300, Portland, OR, USA […]

Galois is pleased to host the following tech talk. These talks are open to the interested public–please join us! (There is no need to pre-register for the talk.) title: Introducing HERMIT: A Plugin for Transforming GHC Core Language Programs speaker: Andrew Farmer time: Tuesday, 09 April 2013, 10:30am. location: Galois Inc. 421 SW 6th Ave. […]

Galois is pleased to host the following tech talk. These talks are open to the interested public–please join us! (There is no need to pre-register for the talk.) title: Inferring Phylogenies Using Evolutionary Algorithms speaker: Erlend Hamberg time: Tuesday, 12 March 2013, 10:30am. location: Galois Inc. 421 SW 6th Ave. Suite 300, Portland, OR, USA […]

Galois is pleased to host the following tech talk. These talks are open to the interested public–please join us! (There is no need to pre-register for the talk.) title: Parametricity, Quotient types, and Theorem transfer speaker: Brian Huffman time: Tuesday, 05 March 2013, 10:30am. location: Galois Inc. 421 SW 6th Ave. Suite 300, Portland, OR, […]

Galois is pleased to host the following tech talk. These talks are open to the interested public–please join us! (There is no need to pre-register for the talk.) title: Automatic Function Annotations for Hoare Logic speaker: Daniel Matichuk time: Tuesday, 12 February 2013, 10:30am. location: Galois Inc. 421 SW 6th Ave. Suite 300, Portland, OR, […]

(There is no need to pre-register for the talk.) title: Computers and privacy, ACLU of Oregon discusses their 2013 agenda speaker: Becky Straus time: Tuesday, 4 December 2012, 10:30am. location: Galois Inc. 421 SW 6th Ave. Suite 300, Portland, OR, USA (3rd floor of the Commonwealth building) abstract: Efforts at the federal level to pass […]

Galois is pleased to host the following tech talk. These talks are open to the interested public–please join us! (There is no need to pre-register for the talk.) title: Towards a Formally Verified Component Platform speaker: Matthew Fernandez time: Tuesday, 16 October 2012, 10:30am location: Galois Inc. 421 SW 6th Ave. Suite 300, Portland, OR, […]

We are pleased to announce the availability of a new tech talk video: “Comprehensive Analysis of the Android Ecosystem”, presented by Iulian Neamtiu. For more details, please visit the talk announcement page. For more videos, please visit our Vimeo channel.

Galois is pleased to host the following tech talk. These talks are open to the interested public–please join us! (There is no need to pre-register for the talk.) Please note the unusual time for this talk. It is on Thursday at 11am. title: Formal Verification of Monad Transformers speaker: Brian Huffman time: Thursday, 30 August […]

Galois is pleased to host the following tech talk. These talks are open to the interested public–please join us! (There is no need to pre-register for the talk.) title: Abstract “Anything”: Theory and Proof Reuse via DTP speaker: Larry Diehl time: Tuesday, 28 August 2012, 10:30am location: Galois Inc. 421 SW 6th Ave. Suite 300, […]