Invited Speakers

• Jean-Christophe Filliâtre (CNRS & LRI Universite' Paris Sud XI): One Logic To Use Them All : Slides
• Greg Morrisett (Harvard University): Defining, Testing, and Reasoning about an x86 Decoder : Slides
• Natarajan Shankar (SRI International): Automated Reasoning, Fast and Slow : Slides
• Douglas R. Smith (Kestrel Institute and Kestrel Technology LLC): Coalgebraic Specification and Refinement : Slides