We are pleased to announce the availability of a new tech talk video. The video is presented by Sergio Antoy from Portalnd State University, and demonstrates a programmin technque called “narrowing”. For more details, please visit the talk announcement page. More tech talk videos are available on our Vimeo channel.

We are pleased to announce the availability of a new tech talk video. The video presents work on a PSU Captsone Project by Chris Andrew, Kayla Seliner, Mark Craig, and Trang Nguyen. For more details, see the talk announcement 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, 02 August 2012. title: Comprehensive Analysis of the Android Ecosystem speaker: Iulian Neamtiu time: Thursday, […]

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: Programming with Narrowing speaker: Sergio Antoy, Portland State University time: Tuesday, 3 July 2012, 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: Why Do Airplanes Crash? Building an Open-Source Aircraft Sensor System speaker: PSU Captsone Project: Chris Andrew, Kayla Seliner, Mark Craig, and Trang Nguyen time: Tuesday, 05 […]

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 date and time for this talk, it is on Friday, 11 May 2012, at 10:30am title: An Analysis of Analysis speaker: Charles Parker […]

We are pleased to announced the availability of a new tech talk video, Alan Mishchenko talking about an efficient implementation of a novel model checking technique. For more information, please visit the talk announcement page. For more Galois tech talk 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 date and time for this talk, it is on Monday, 6 February 2012, at 10am. title: Efficient Implementation of Property Directed Reachability speaker: […]

We are pleased to announced the availability of a new tech talk video, David Lazar talking about formalizing Haskell 98 in the K semantic framework. For more information, please visit the talk announcement page For more Galois tech talk 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, 12 January 2012 title: On deadlock verification in micro-architectural models of communication fabrics. speaker: Julien […]