FMCAD Conference in Portland, OR: October 20 – 23, 2013

This year’s Formal Methods in Computer-Aided Design (FMCAD) conference is being held from October 20 – 23 here in Portland, OR. Galois is proud to be one of the sponsors of this annual event – we’re excited to be having it in our own back yard!

Dr. Lee Pike is on the program committee, and he’s also giving a keynote address at the co-located MEMOCODE conference on October 18.

We hope to see folks there!