| 13:30 | Opening Remark |
| 13:40 | Invited Talk |
| Verification of Embedded Software in Industrial Microprocessors Eli Singerman (Intel Israel) |
|
| 14:40 | Break |
| 15:10 | Talks |
| 15:10 | Pre- and Post-Silicon Verification and Debugging with High Level Design Masahiro Fujita (University of Tokyo) |
| 16:00 | On the Validation of Embedded Systems through Functional ATPG Giuseppe Di Guglielmo (University of Verona / University of Tokyo) |
| 16:50 | Closing Remark |
VLSI Design and Education Center (VDEC), The University of Tokyo