Secret Ninja Formal Methods

[Joseph Kiniry]

Hi all,

Just to reinforce the fact that I'm a little kooky...

Yes, Dan Zimmerman and I did give our talk, "Secret Ninja Formal  
Methods," at Formal Methods 2008 in full ninja outfits.

Here is evidence, provided by Carroll Morgan.  Note that the room was  
actually quite dark (this was taken with a flash) and when we entered  
we were completely masked.  We "revealed" our identities during the  
first slide transition.

The slides for the talk, including a Quicktime version (that you  
should really check out) are available on my research group website

   http://kind.ucd.ie/documents/talks/ninja08.html

Hope everyone is well,
Joe









-------------------------------------------------------------------------
Check out the new SourceForge.net Marketplace.
It's the best place to buy or sell services for
just about anything Open Source.
http://sourceforge.net/services/buy/index.php
_______________________________________________
Jmlspecs-developers mailing list
Jmlspecs-developers@...
https://lists.sourceforge.net/lists/listinfo/jmlspecs-developers