(免註冊，免報名費，歡迎參加)
2011 Hardware Verification Workshop at NTU
時間: 10/14 (五) 14:00 ~ 17:15
地點: 博理館201室
議程:
14:00 ~ 15:00
Statistical Model Checking for Cyber-Physical Systems,
Prof. Edmund M. Clarke (Carnegie Mellon University, USA)
^^^^^^^^^^^^^^^^^^^^^^^
2007 年 Turing Award 得主
15:00 ~ 15:30
On Error Tolerance and Engineering Change with Partially Programmable Circuits
Prof. Masahiro Fujita (Tokyo University, Japan)
^^^^^^^^^^^^^^^^^^^^^
全日本 verification 大老
15:30 ~ 15:45 Coffee Break
15:45 ~ 16:45
Static and Dynamic Verification for SystemC
Prof. Daniel Kroening (Oxford University, UK)
^^^^^^^^^^^^^^^^^^^^^
CBMC 作者現身說法
16:45 ~ 17:15
Formal Verification for SystemC Designs
Prof. Chung-Yang (Ric) Huang (National Taiwan University, Taiwan)
(低調低調就好)