Tech Talk: The OpenTheory Standard Theory Library

Galois is pleased to host the following tech talk. These talks are open to the interested public. Please join us!   title: The OpenTheory Standard Theory Library   speaker: Joe Hurd   time: Tuesday, 12 April 2011, 10:30am   location:Galois Inc.421 SW 6th Ave. Suite 300,Portland, OR, USA(3rd floor of the Commonwealth building)   abstract:Interactive […]

Read More

Tech talk video: Engineers Without Borders

We are pleased to announce the availability of a new tech talk video: “Engineers Without Borders”, presented by Rachel Lanigan. More details about the talk are available on the announcement page.Other videos of our technical seminars are available on our Vimeo channel.

Read More

Tech Talk Video: Faster Persistent Data Structures Through Hashing

We are pleased to announce the availability of a new tech talk video: “Faster Persistent Data Structures Through Hashing”, presented by Johan Tibell. More details about the talk are available on the announcement page. Other videos of our technical seminars are available on our Vimeo channel.

Read More

Tech Talk: Haskell And The Social Web

Galois is pleased to host the following tech talk. These talks are open to the interested public. Please join us!   title: Haskell And The Social Web   presenter: Philip Weaver   time: Tuesday, 15 March 2011, 10:30am   location:Galois Inc.421 SW 6th Ave. Suite 300,Portland, OR, USA(3rd floor of the Commonwealth building) abstract: Janrain […]

Read More

Tech talk video: The Strategy Challenge in Computer Algebra

We are pleased to announce the availability of a new tech talk video: “The Strategy Challenge in Computer Algebra”, presented by Grant Passmore. More details about the talk are available on the announcement page. Other videos of our technical seminars are available on our Vimeo channel.

Read More

Tech talk video: Verifying seL4-Based Systems

We are pleased to announce the availability of a new tech talk video: “Verifying seL4-Based Systems”, presented by Simon Winwood. More details about the talk are available on the announcement page. Verifying seL4-Based Systems from Galois Video on Vimeo. Other videos of our technical seminars are available on our Vimeo channel.

Read More

Tech Talk: Engineers Without Borders

Galois is pleased to host the following tech talk. These talks are open to the interested public. Please join us!   title: Engineers Without Borders   presenter: Rachel Lanigan   time: Tuesday, 22 February 2011, 10:30am   location:Galois Inc.421 SW 6th Ave. Suite 300,Portland, OR, USA(3rd floor of the Commonwealth building)   abstract: Engineers Without […]

Read More

Tech Talk: Faster Persistent Data Structures Through Hashing

Galois is pleased to host the following tech talk. These talks are open to the interested public. Please join us!   title: Faster Persistent Data Structures Through Hashing   presenter: Johan Tibell   time: Tuesday, 15 February 2011, 10:30am   location:   Galois Inc.421 SW 6th Ave. Suite 300, Portland, OR, USA(3rd floor of the Commonwealth […]

Read More

Tech talk: The Strategy Challenge in Computer Algebra

Galois is pleased to host the following tech talk. These talks are open to the interested public. Please join us!   Please note the unusual time slot for this talk: it is on Monday, 7 February 2011, at 4:30pm (changed from 1:30pm due to flight delays).   title: The Strategy Challenge in Computer Algebra   presenter: Grant […]

Read More