Invited Speakers

Joseph Sifakis (CNRS/Verimag, Schneider-INRIA Endowed Researcher Chair) - Embedded Systems Design Scientific Challenges and Work Directions. [abstract]

Viresh Paruthi (IBM Austin) - Large-scale Formal Application: From Fiction to Fact [abstract]

Tutorials

Sumit Gulwani (Microsoft) - Dimensions in Program Synthesis. [abstract]

Ken McMillan (Cadence) - Invariant Generation. [abstract]

Warren Hunt (UT Austin) - Verification of the VIA (Centaur) Nano Microprocessor using the ACL2 Theorem-Proving System. [abstract]

Jin Yang (Intel) - Post Silicon Verification [abstract]