FMCAD 2009
Formal Methods in Computer Aided Design
Austin, Texas, USA
November 15 - 18

At this point slides of all presentations are available from the program page except for the two keynote talks. Simply click on the title of the talk respectively the name of the panelist.