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!