Secret Ninja Formal Methods
Joe Kiniry and Dan Zimmerman gave the following talk entitled Secret Ninja Formal Methods at Formal Methods 2008. This talk was given by both Joe and Dan in tandem in full ninja uniforms. The audience enthusiastically received this (humorous) talk and more photos and videos will be available here soon.