I'll almost certainly come along, possibly with one or two other NASA people. I could give a talk on our work using LLVM to support model checking, symbolic execution and static analysis if anyone is interested. Sarah Thompson RSE/6G, NASA Ames >