Viewing 0 current events matching “tech seminar” by Date.

Sort By: Date Event Name, Location , Default
No events were found.

Viewing 3 past events matching “tech seminar” by Date.

Sort By: Date Event Name, Location , Default
Tuesday
Aug 25, 2009
Galois Talk: Programming the fleet
Galois, Inc

The next talk in the Galois Tech Seminar series:

  • Date: Tuesday, August 25th, 2009
  • Title: Programming the Fleet
  • Speaker: Adam Megacz
  • Time: 10:30am - 11:30am
  • Location: Galois, Inc. 421 SW 6th Ave. Suite 300; Portland, OR 97204

For details (including an abstract and speaker bio), please see our blog post: http://www.galois.com/blog/2009/08/19/programmingfleet/

An RSVP is not required; but feel free to drop a line to [email protected] if you've any questions or comments.

Levent Erkok

Website
Friday
Sep 18, 2009
Building Systems That Enforce Measurable Security Goals
Galois, Inc

The next talk in the Galois Tech Seminar series:

[Note the Friday date, instead of the usual Tuesday slot!]

  • Date: Friday, September 18th, 2009
  • Title: Building Systems That Enforce Measurable Security Goals
  • Speaker: Trent Jaeger
  • Time: 10:30am - 11:30am
  • Location: Galois, Inc. 421 SW 6th Ave. Suite 300; Portland, OR 97204

For details (including an abstract and speaker bio), please see our blog post: http://www.galois.com/blog/2009/09/10/jaegermeasurablesecurit/

An RSVP is not required; but feel free to drop a line to [email protected] if you've any questions or comments.

Levent Erkok

Website
Tuesday
Oct 6, 2009
Galois Tech Talk: Roll Your Own Test Bed for Embedded Real-Time Protocols: A Haskell Experience
Galois, Inc

The next talk in the Galois Tech Seminar series:

  • Date: Tuesday, October 6th, 2009
  • Title: Roll Your Own Test Bed for Embedded Real-Time Protocols: A Haskell Experience
  • Speaker: Lee Pike
  • Time: 10:30am - 11:30am
  • Location: Galois, Inc. 421 SW 6th Ave. Suite 300; Portland, OR 97204

For details (including an abstract and speaker bio), please see our blog post: http://www.galois.com/blog/2009/09/29/pike-haskell0/

Abstract: We present by example a new application domain for functional languages: emulators for embedded real-time protocols. As a case-study, we implement a simple emulator for the Biphase Mark Protocol, a physical-layer network protocol in Haskell. The surprising result is that a pure functional language with no built-in notion of time is extremely well-suited for constructing such emulators. Furthermore, we use Haskell’s property-checker QuickCheck to automatically generate real-time parameters for simulation. We also describe a novel use of QuickCheck as a probability calculator for reliability analysis.

Bio: Lee Pike is a member of the technical staff at Galois. Previously, he was a research scientist with the NASA Langley Formal Methods Group, primarily involved in the SPIDER project. His research interests include applying formal methods to safety-critical and security-critical applications, with a focus on industrial-scale endeavors.

An RSVP is not required; but feel free to drop a line to [email protected] if you've any questions or comments.

Levent Erkok

Website