July 29, 2004
Video III
Bob Kurshan, Cadence "Formal Verification As a Technology Transfer Problem"
Speaker: Bob Kurshan
[web article]
[video]Length: 19:57

July 29, 2004
Video IV
Vladimir Levin, Microsoft "Static Driver Verifier, a formal verification tool aimed at Windows device drivers"
Speaker: Vladimir Levin
[web article]
[video]Length: 15:54

July 29, 2004
Video V
John O'Leary, Intel "Formal Verification in Intel CPU Design"
Speaker: John O'Leary
[web article]
[video]Length: 19:00

July 29, 2004
Video VI
Carl Pixley, Synopsis "Designers Want Proofs! But Show Me the Money"
Speaker: Carl Pixley
[web article]
[video]Length: 19:53

July 29, 2004
Video VII
Sandeep Shukla, Virginia Tech, et. al. "Panel Discussion"
Speaker: Sandeep Shukla
[web article]
[video]

July 20, 2004
Video I
Introduction to the Laboratory for Intelligent and Safe Automobiles.
[web article]
[video]Length: 16:34

July 20, 2004
Video II
CVRR Director Mohan Trivedi provides a virtual tour of the LISA-Q test vehicle.
Speaker: Mohan Trivedi, CVRR Director
[web article]
[video]Length: 7:16

July 20, 2004
Video I
Introduction to the Laboratory for Intelligent and Safe Automobiles.
[web article]
[video]Length: 16:34

July 20, 2004
Video II
CVRR Director Mohan Trivedi provides a virtual tour of the LISA-Q test vehicle.
Speaker: Mohan Trivedi, Professor
[web article]
[video]Length: 7:16

July 20, 2004
Video III
Trivedi talks about the deployment of cameras and other sensors on the LISA-P.
Speaker: Mohan Trivedi, Professor
[web article]
[video]Length: 2:09