Formal methods outreach meeting at SRI on June 9 and 10

• Original invitation, subsequent description and specification and my preliminary response

• Talk [talk.tex | talk.ps | talk.pdf ]

Miscellaneous links

• Secret Ninja Formal Methods
• A sustainability angle to theory and formal methods
• Workshop on Formal Methods in Systems Biology
• SciComp Inc ("Derivatives pricing at the speed you need")
• Cambridge-Google what-is-computer-science YouTube competition
• Synthesizing Implementations Using a Theorem Prover