The full two-day program will feature Keynote talks, invited talks by test, security and verification experts, technical paper sessions, special panels and invited sessions on various hot topics. To encourage and promote technical exchange among the attendees, various social activities are planned during the two days including continental breakfast and lunches on both days as well as a very lavish dinner on the evening of Dec 9 at Fogo De Chao Brazilian restaurant in downtown Austin.