Galois is pleased to host the following tech talk.These talks are open to the interested public. Please join us!Please note that this talk is on Wednesday! title:A Multi-Encoding Approach for LTL Symbolic Satisfiability Checking speakers:Kristin Rozier time:10 August 2011, Wednesday, 10:30 A.M. location:Galois, Inc.421 SW 6th AveSte 300Portland, OR 97204(3rd floor of the Commonwealth building) […]
We are pleased to announce the availability of a new tech talk video: “Parallel K-Induction Based Model Checking”, presented by Temesghen Kahsai. More details about the talk are available on the announcement page. For more videos of our technical seminars, 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! title:Combining Denotational and Operational Semantics for Scalable Proof Development speakers:Adam Foltzer time:Tuesday, 19 July 2011, 10:30am location: Galois Inc. 421 SW 6th Ave. Suite 300, Portland, OR, USA (3rd floor of the Commonwealth building) abstract:Interpreters […]
Galois is pleased to host the following tech talk.These talks are open to the interested public. Please join us! title:Parallel K-induction based Model Checking speakers:Temesghen Kahsai time:Tuesday, 12 July 2011, 10:30am location:Galois Inc.421 SW 6th Ave. Suite 300,Portland, OR, USA(3rd floor of the Commonwealth building) abstract:We give an overview of a parallel k-induction-based model checking […]
We are pleased to announce the availability of a new tech talk video:“Building an Open-Source Autonomous Quad-Copter”, presented by Nicholas Begley, Dave Dung Anh, James Heilinger, Alec Rasmussen, and Mark Theuson. More details about the talk are available on the announcement page. For more videos of our technical seminars, 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! Please note that this talk is on Friday! title:Building an Open-Source Autonomous Quad-Copter speakers:Nicholas Begley, Dave Dung Anh, James Heilinger, Alec Rasmussen,and Mark Theuson. time:3 June 2011, Friday, 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: “Empirical Sampling With Haskell”, presented by Chad Scherrer. More details about the talk are available on the announcement page. For more videos of our technical seminars, 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! title: Empirical Sampling With Haskell speaker: Chad Scherrer time: Tuesday, 10 May 2011, 10:30am location:Galois Inc.421 SW 6th Ave. Suite 300,Portland, OR, USA(3rd floor of the Commonwealth building) abstract:Sampling from […]
We are pleased to announce the availability of a new tech talk video: “Using RNA MVX Shared Memory Pools to Improve Large-Memory Workloads and Storage Performance”, presented by Jim Snow. More details about the talk are available on the announcement page. For more videos of our technical seminars, please visit our Vimeo channel.
We are pleased to announce the availability of a new tech talk video: “The OpenTheory Standard Theory Library”, presented by Joe Hurd. More details about the talk are available on the announcement page. For more videos of our technical seminars, please visit our Vimeo channel.
We take pride in personally connecting with all interested partners, collaborators and potential clients. Please email us with a brief description of how you would like to be connected with Galois and we will do our best to respond within one business day.