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 Wednesday, 11 January 2012 title: Model-based Code Generation and Debugging of Concurrent Programs speaker: Borzoo Bonakdarpour […]

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: Formalizing Haskell 98 in the K Semantic Framework speaker: David Lazar time: Tuesday, 10 January 2012, 10:30am location: Galois Inc. 421 SW 6th Ave. Suite 300, […]

We are pleased to announced the availability of a new tech talk video, Eric Migicovsky talking about his experiences with a hardware startup. More details about the talk are available at 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, 15 December 2011. title: Frenetic: A Network Programming Language speaker: Nate Foster time: Thursday, 15 […]

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 for this talk, it is on Thursday, 17 November 2011. title: Candid experiences from a hardware startup speaker: Eric Migicovsky time: Thursday, 17 November 2011, 10:30am location: Galois Inc. 421 […]

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 for this talk, it is on Thursday, 10 November 2011. title: Enforcing Security Policies with a MILS Architecture speaker: Dylan McNamee time: Thursday, 10 November 2011, 10:30am location: Galois Inc. […]

Galois is pleased to announce the following tech talk.These talks are open to the interested public. speaker:Kevin ButlerUniversity of Oregon time:30 August 2011, 10:30 A.M. location:Galois, Inc.421 SW 6th Ave.Ste 300Portland, OR 97007(3rd floor of the Commonwealth Building) abstract:The complexity of modern operating systems makes securing them a challenging problem. However, changes in the computing […]

Galois is pleased to announce the following tech talk.These talks are open to the interested public.  speaker:Alexey GotsmanIMDEA Software Institute, Madrid, Spain time:23 August 2011, 10:30 A.M. location:Galois, Inc.421 SW 6th Ave.Ste 300Portland, OR 97007(3rd floor of the Commonwealth Building)  abstract:Most major OS kernels today run on multiprocessor systems and are preemptive: it is possible for […]

Galois is pleased to host the following back-to-back tech talks.These talks are open to the interested public. Please join us! speakers:Sebastian Niller and Nis N. Wegmann time:16 August 2011, Tuesday, 10:30 A.M. location:Galois, Inc.421 SW 6th AveSte 300Portland, OR 97204(3rd floor of the Commonwealth building)   #1 title:Translation of Functionally Embedded Domain-specific Languages With Static Type […]

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)  […]